「ハイパー論理」 一覧

２０２２年５月２８日　（冪の日）   ３月の記事で、ωの定義と無限公理の関係について述べておきましたが。 猿は、あの部分を見て議論の流れというか、文脈を誤解したはず。 「無限公理は無数の無限 ...

２０２２年４月２８日　（ｓｉｎｇｕｌａｒの日）   今回は前回からの続きとして。 ｈａｎ公理体系をｓｉｎｇｕｌａｒ公理体系の観点から見ていきます。 ＺＦでは、無限公理で｛｝を採用していますね ...

２０２２年３月２８日　（ｐａｒｔの日）   今回はｐａｒｔ公理体系の観点から攻めていきます。 個体定数記号が出現しません、ＺＦでは。 だから、ＺＦのｔｅｒｍは定義できない運命。 エルブラン宇 ...

２０２２年２月２８日　（具体の日）   キョトン猿の場合、型に嵌った世界観で生きている猿なので。 新概念を提示しても、その有難味が分からない脳構造なのですよ。 何故か？ 連中、 「ｈａｎ公理 ...

２０１９年３月２８日　（実数の日）   前回までで、猿の惑星を制覇しました。 この星で、私が征服したい都市は残ってない状態。 アレキサンダーは、中国を征服せず引き返したのですが。 私は地球全 ...

２０２２年１月２８日　（拡張の日）   前回、 「半公理体系　ｖｓ　正則公理体系　ｖｓ　非正則公理体系　ｖｓ　特異公理体系」・・・（Ｔ） という新概念を定義した段階では。 猿は、些細な違いを ...

２０１９年４月２８日　（合体の日）   前回から、証明文学は第四ステージに入っています。 まず、その冒頭を飾るのがＹＪ編で。 今回は前回の続編になります。 集合論＋Ｔ（Ｘ）が数学証明の作業場 ...

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

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

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