なぜ、ZFC公理まで遡らなくても数学が出来るの？

公理まで遡ってすべての定義・命題を厳密に記述・証明しなければ、正しいとは言えないはず

もし、公理まで遡る途中の定義・命題を認めても問題なく数学が出来るなら、それを公理とすればいいのでは？

>名前については、否定します

ならHNやめたら？
●される危険を回避するなら自分を消すのが一番だよ
コピペもやめる　文体も変える　当然のこと　
できないヤツは自ら●にたがる●●

不完全性定理と述語論理の完全性定理は
数学科の大学３年生相当
東大の数学科では教えないみたいだけどね

知らずに笑うのは●●

>>351
>ZFCで使える論理式（ロジック）は、無制限ではない！
制限されている論理式を書いて

瀬田ホイヨー君はやっぱり引用文献全然読めてない

例えば345の渕野氏のForcing入門
p16(3.23)の存在推論の規則は
存在例化と同じだけど
全然気づいてないでしょ

それじゃ何読んでも意味ないから無駄