Inter-universal geometry と ABC予想 (応援スレ) 78 (726ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
658(1): 11/27(木)17:38 ID:RDb4kxmC(1/4) AAS
>>630
>君は
>「すべての自然数ｎについて性質Ｐが成り立つ」
>を証明するのに、
>「個々のｎについて性質Ｐが成り立つ」
>ということを全部証明してる？
それ不十分。
省2
700(1): 11/27(木)19:04 ID:RDb4kxmC(2/4) AAS
>>694
>普通の数学者なら真とするんじゃ無いかなあ
真とするのはど素人。数学者は証明は有限長って知ってるから。
>さすがに偽ではないけれどまだ証明されてないとするか
証明されてないとするしかないし、ω矛盾している理論では反証される可能性すらある。そして無矛盾かつω矛盾している理論は実在する。
706(2): 11/27(木)19:15 ID:RDb4kxmC(3/4) AAS
もう同じことの繰り返しになって冗長だから
・レーヴェンハイム–スコーレムの定理のステートメント
・自然数の超準モデルの存在
は理解してから書き込んでくれ〜
714: 11/27(木)19:23 ID:RDb4kxmC(4/4) AAS
>>703
だから反例（そうしちゃよくない理論）があるって言ってるじゃん
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s