>>30

物理が
「数学は机上の理屈を付けるだけで、実際の成果は実験で確かめてなんぼだよ」
と言うのと同じく、
数学は
「基礎論は机上の公理系をいじるだけで、実際の成果は実物を証明してなんぼだよ」
と言う、
ということですか？