>>20
数学において数論、幾何学、解析学等が発達しているのは、
我々が数、空間、量を持つ世界に住んでいるからである。
本当に形式だけを対象とするなら、
乱数を使って機械的に生成した公理系も学問の対象となって良いはずである。
しかし現実は世界を極端に抽象化した数学の上に構築された数学のみを対象としている