「ハイパー論理」 一覧

２０２２年９月２８日　（３種の日）　   前回、ＳＴＡＰ騒動と対比させて、 「ＦＯＰＬ騒動」 というものを提示しておきました。 これは、 「ＺＦが第一階述語論理ベース」 という主張の真偽に関 ...

２０２２年８月２８日　（詐欺の日）   前回、伝家の宝刀として、決定問題Ｑを持ち出して。 これがあるから、ＺＦとＺＦ（｛ｘ｜｝）は表現同値ではないと言いました。 この真意が把握できているのか ...

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

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

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

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

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

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

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

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