「数学とは何か」を定めるのは「数学」ではない。それは「数学観」だ。だから「数学とは○○である」という主張は…数学的に証明できない。…要するに「数学的な議論と、数学論的な議論は分けるべき」なんだ