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

２０２２年１２月２８日　（神帝の日）   今は、ＺＦが第一階述語論理ベースにはならないことを論証している最中です。 その伏線として、ＳＡＴを持ち出し。 ＳＡＴの論理式は論理関数として把握でき ...

２０２２年１１月２８日　（螺旋の日）   猿が進化するためには。 論理関数に対する循環地獄を螺旋状に昇っていく必要があります。 そのための伏線準備として、今回は一般論を。 それが、 「存在　 ...

２０２２年１０月２８日　（猿脳の日）   ＳＡＴの論理式は（命題）論理関数として把握できますが。 ＺＦの論理式を（述語）論理関数として把握できるのか？ 今まで散々、検討してきたのですよ。 実 ...

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

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

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

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

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

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

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