逆数学的な話題になってるな。