既に定義されたことしか議論できない人は数学基礎論（哲学の一種）には致命的に向いてませんよ