>>440
＞安達数学は古代ギリシャ哲学者の時代の
＞　『無限の議論は“可能的無限”に限る“有限数学”』
＞の域を出ておらず

ナイーブにいえばね

しかしソフィスティケートされた見方でいえば
・ZFCの可算モデルの存在
・ZFCとペアノ算術PAの間の、演繹を保つ計算可能な同型の存在
から、現代数学を“可能的無限”に限る“有限数学”に押し込められる可能性はある