>>427
数学史もハンパじゃないよ
なにせ数学史も公理化してある