[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
490(5): 2021/10/23(土)16:28 ID:Bd9CL3YV(22/22) AAS
>>486-488
>ラッセルのパラドックスの解消と、
>ZFC（一階述語論理）は関連している
その書きぶりじゃ、
なんで、ZFCでラッセルパラドックスが解消できるか
全然分かってないな
実際は内包公理
{x|P(x)}
を分出公理
{x∈a|P(x)}
省9
492(4): 2021/10/23(土)23:41 ID:VEyje5yT(19/21) AAS
>>490
(引用開始)
実際は内包公理
{x|P(x)}
を分出公理
{x∈a|P(x)}
に置き換えただけだよ
(引用終り)
？ 下記の内包公理および分出公理と言葉つかいが違うけど
お前の用語の使い方が正しいとする根拠あんの？ｗｗｗ
省12
493(3): 2021/10/23(土)23:55 ID:VEyje5yT(20/21) AAS
>>490
(引用開始)
なんで、ZFCでラッセルパラドックスが解消できるか
{x∈a|¬x∈x}は自分自身を含まない
しかし、そこから矛盾は導かれない
なぜか？それは {x∈a|¬x∈x}∈a ではないから
{x|¬x∈x}と書いてしまうと、
{x|¬x∈x}∈{x|¬x∈x}
とせざるを得なくなる
(引用終り)
省7
495: 2021/10/24(日)03:07 ID:T5H3rN2o(1/9) AAS
>>490
前頭葉が機能していないかまたは無駄な空回りばかりしているセタには論理的思考も直観的想像も無理､
海馬に頼り記憶の照合と填め合わせだけの記憶パズル思考が関の山｡
だから奴関連スレはコピペばかりのゴミ屋敷スレどころじゃない糞まみれスレに陥っている｡
正に便所虫の集合Aどころじゃない便食虫の集合Aらしい蠅魔王ベルゼバブセタに相応しい腐敗ぶり｡
496(1): 2021/10/24(日)07:14 ID:ljh0ogmi(1/17) AAS
>>491
>「定義をしていないのは望月新一のほう」なんてあり得ない
いつまでも勝手にジコチュウ妄想してろよ 🐎🦌
>「定義をしていないのは望月新一のほう」ならば、
>その箇所をキチンと指摘すれば、
>それでIUTはノックアウトでしょ？
その箇所をズバリ打ち抜いたのがsimplification
望月新一は正しい定義を示せずThe End これが真実
>>492
>？ 下記の内包公理および分出公理と言葉つかいが違うけど
省20
498(3): 2021/10/24(日)11:01 ID:IwWQ/vZk(1/23) AAS
>>496
＞>規則７．∃x∀y(y∃x⇔(y∃a∧Ａ(y))
＞正しくは、∃x∀y(y∈x⇔(y∈a∧Ａ(y)) な
＞それこそ、コピペすればいいだけなのに、なにわざわざ打ち間違ってんだよｗｗｗ
ありがと
訂正しておく
>>492
規則７．∃x∀y(y∃x⇔(y∃a∧Ａ(y))
↓
規則７．∃x∀y(y∈x⇔(y∈a∧Ａ(y))
省15
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s