「 年別アーカイブ：2021年 」 一覧

２０２１年１２月２８日　（ｈａｎの日）   置換公理は性質φ（ｘ）を用いたシェーマです。 そして、内包公理の矛盾により。 φ（ｘ）によるシェーマ性がＺＦ矛盾に関与していることが、薄々、判って ...

２０１９年５月２８日　（ＡＤの日）   「集合論の宇宙はΔではない。」 これが集合論の基本原則ですが。 このレベルで判って無い猿が多すぎる。 ＺＦの宇宙はΔだと錯覚してるのよ。 その所為で、 ...

２０２１年１１月２８日　（微妙な日）   ＺＦ矛盾の原因として、今までは 「⏀のパラドックス」 に着目した議論をしてきましたが。 「原因はそれだけか？」 とも懐疑し続けました。 そろそろ、よ ...

２０１９年６月２８日　（経済の日）   未だに、 「ＺＦ矛盾の証明ができてない。」 と思っているプロも多い模様。 ホント、夢想を刷り込まれた鳥猿の惨めさよ。 この導入部から、本論に入ります。 ...

２０２１年１０月２８日　（言の日）   今まで、数学の証明全体を見直す必要があることを指摘してきました。 これは、ＺＦ（｛ｘ｜｝）が矛盾していることからの論理的帰結なんですが。 鈍い猿は、こ ...

２０１９年７月２８日　（ＬＫの日）   数学者は集合論や論理を自分達の領域の必須分野だと思ってなかった。 だから、勉強できてない。 これじゃ、証明の何たるかが判るはずもない。 まして、況や、 ...

２０２１年９月２８日　（知力の日）   前回で、ＺＦ（｛ｘ｜｝）矛盾の行間説明は終了です。 この状況で大事なのは。 従来の猿は、 「ＺＦとＺＦ（｛ｘ｜｝）は同値」 だと思っていたという点です ...

２０１９年８月２８日　（前提の日）   前回に続き、証明論系シークエントに関する話題を。 私の行間埋め作業は正しく実行されるのですが。 猿の方も、似たような真似をしてきました。 それが、論理 ...

２０２１年８月２８日　（メタアプリの日）   μ’（ｘ）の関数性を用いて、ＺＦ（｛ｘ｜｝）の論理的矛盾を証明したわけですが。 単なる関数性だけからは ⏀（２）＝⏀（ω）　⇒　μ’（⏀（２）） ...

２０１９年９月２８日　（抽象の日）   前回で、第一階述語論理ベース理論Ｔにおいても、土台の集合論は無視できないことが判ったはず。 ｃｕｔで消去できないのよ、ＺＦ（！）は矛盾してるんだから。 ...