Inter-universal geometry と ABC予想 (応援スレ) 73 (732ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
496(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/11(月)13:09 ID:f34iaqr/(3/7) AAS
>>490
>>（ZFCの）公理と矛盾しない文をいくらでも公理と追加しても証明できなければならない。
なんだかな〜ｗ
ZFCを基準にしているのが、なんだかね ；ｐ）
一つ例をあげよう
外部ﾘﾝｸ[html]:www.nippyo.co.jp
数学セミナー 2025年3月号
省20
497(1): 08/11(月)13:47 ID:beOIuuoE(1) AAS
>>496
well-definedではないZFCGを使うんだったら
てめえで全ての証明をきっちり出せなきゃただのオレオレ詐欺w
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.050s*