[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
924: 2020/07/10(金)08:30 ID:e3xNYXlE(6/80) AAS
セタは公理図式の読み方も分かってないｗ
例えば分出公理で
｛ｘ∈Ｓ｜Ｐ（ｘ）｝
のＰ（ｘ）はｘが自由変数となる式なら何をいれてもいい
（例えば¬（ｘ∈ｘ））
しかし、セタは何をトチ狂ったか
「公理図式で式を入れるところは公理の式に限る それが公理主義」
とか馬鹿丸出しな俺様解釈を絶叫してきたｗ
もちろんそんな俺様解釈は完全な誤りだ
¬（ｘ∈ｘ）のどこが公理なのか？ｗ
｛ｘ｜¬（ｘ∈ｘ）｝が集合なら矛盾だが
｛ｘ∈Ｓ｜¬（ｘ∈ｘ）｝なら矛盾しない
なぜなら、｛ｘ∈Ｓ｜¬（ｘ∈ｘ）｝は集合Ｓの要素でない、で終わりだから
こんなことは数学を学ぶ大学１年生なら常識だが
どうせセタはマージャンとかテニスとか＊＊Ｘとかで遊び惚けてたんだろｗ
♀ザル相手に腰振るしか能がない毛深い♂ザルに数学が分かるわけがない
上下前次1-新書関写板覧索設栞歴
あと 78 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s