「ハイパー論理」 一覧

２０２２年７月２８日　（馬化の日）   ＺＦから置換公理を除いた公理体系を、私は、 「ＺＦ（＊）」 と表示してきたわけですが。 従来、数学のかなりの部分はＺＦ（＊）で展開できると考えられてき ...

２０２２年６月２８日　（原罪の日）   冪集合の懐疑とは 「具体的な対象を指定できるのか？」 という懐疑ですが。 この懐疑の意味が深いのよ。 「℘（Ｘ）＝｛ｘ｜ｘ⊂Ｘ｝は曖昧じゃないの？」 ...

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

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

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

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

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

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

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

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