>>80
そんな起源にまで遡られてもね。
無矛盾性は証明できないとわかったんだからもういいんですよ。

私が興味あるのは数理論理学じゃなくて「数学の基礎付け」。まだ済んでないでしょ？
フラットに、飛躍なく、どこまで基礎付けが出来てるのか