>>144-146
論点ずらしもいいところだな

>じゃあカントールよりずっと後の時代の君がまったく厳密じゃない定義持ち出した時点で落第やん
>なんの言い訳にもなってない
>てか実数の存在を仮定しないと有理コーシー列は一般に収束しないんだから
>厳密じゃないんじゃなくそもそも論理的におかしいんだよ、君の定義は

いま議論しているのは、望月IUTの話でだよ
1）望月IUTが 沢山の独自数学定義を導入した
　これらが、矛盾せず厳密な数学として成り立つか否か？
2）なので いま Leanを使おうとしている
　その結果を待てばいいんだよ
3）そして リーマン、ガウス、ラグランジュ、オイラー、ライプニッツ、ニュートン・・・らの結果が
　多少厳密さを欠いても 認められた如く
　多少完璧でなくとも 認められる可能性も 大いにあるってことだよ
　Lean検証の過程で ギャップを埋められればね　（＾＾

慌てる乞食は貰いが少ない
しばし待て
乞うご期待