ZFを代表見本役としてtermの重要性を論じてきましたが。違和感を感じる猿がいたはず。前回の具体例で、公理体系の重要性が認識でき始めたでしょう。己の理論なるものが公理体系化可能と盲目的に信じて。有名な宇宙人の決め台詞で締めておきましたが。ここの証明文学が教会(境界)への手紙だと悟らせる編です。前回のハイパー選択原理を見ても。その御利益というか、深層真理が理解できない猿が多い模様。無理もないな、数式にドップリ浸かっていると。約束通り、自由測度の簡単な具体例から。問題に対し最後の審判をしておきました。第一階述語論理レベルで集合論の無限公理なんか持ち出す。その基本思想が間違い。課題に決着を付けておきましょうか。(∞)関連の議論を見て分かるように。個体定数を無限個許容する場合。大きく分けて、二つのレベルに分かれます。一方は、潜在無限として導入する場合ですが。「今までも、自由集合なんか暗黙知として採用していた。言い出す馬化が多くいる模様。形式公理体系におけるシェーマを扱う際。枠外自由集合の視点から見たのは、私が初めてですよ。自由性の観点から、公理系のシェーマは非常に興味ある対象ですが。前回の議論の段階で大事な論点があります。一般に形式公理体系Tという場合。公理候補として無限個の公理を許可します。分からせておきました。前回で淵野の間違いが把握できたとして。面白い素材なので、更に料理しておきましょうか。この為、前回のZF+(∞)を再度、取り上げます。今回は、予告通り、淵野の間違いを指摘します。その手段として、term記号の有限性を顕示する目的で。今回からは淵野の間違いをハッキリさせていきます。淵野は可算無限個の個体定数を導入していますが。今回は、予定通り、第一階述語論理に対するWikipediaの記事の間違いを指摘します。現在はZFに対するFOPL詐欺の話題を続けていますが。前回の続編は次回にするということで。今回は、無限の観点からバイパスを通しておきます。今回は、3月15日の新着情報の続報です。解説で取り上げたZF矛盾証明モドキが間違いなのは確かです。今回は予定通り、ZF({x|})が第一階述語論理ベースにならないことを論証します。これは、すでに何回も繰り返して指摘した事実であり。2023-01-28引き続きこのコンテンツを閲覧するには会員ログインが必要です。ログインページに移動まだ、会員登録お済みでない方は、新規会員登録へお進みください。今は、ZFが第一階述語論理ベースにはならないことを論証している最中です。その伏線として、SATを持ち出し。猿が進化するためには。論理関数に対する循環地獄を螺旋状に昇っていく必要があります。そのための伏線準備として、今回は一般論を。SATの論理式は(命題)論理関数として把握できますが。今まで散々、検討してきたのですよ。いうものを提示しておきました。前回、伝家の宝刀として、決定問題Qを持ち出して。これがあるから、ZFとZF({x|})は表現同値ではないと言いました。表示してきたわけですが。この懐疑の意味が深いのよ。3月の記事で、ωの定義と無限公理の関係について述べておきましたが。猿は、あの部分を見て議論の流れというか、文脈を誤解したはず。今回は前回からの続きとして。han公理体系をsingular公理体系の観点から見ていきます。今回はpart公理体系の観点から攻めていきます。個体定数記号が出現しません、ZFでは。ZFのtermは定義できない運命。猿の場合、型に嵌った世界観で生きている猿なので。新概念を提示しても、その有難味が分からない脳構造なのですよ。前回までで、猿の惑星を制覇しました。この星で、私が征服したい都市は残ってない状態。アレキサンダーは、中国を征服せず引き返したのですが。いう新概念を定義した段階では。前回から、証明文学は第四ステージに入っています。その冒頭を飾るのがYJ編で。今回は前回の続編になります。置換公理は性質φ(x)を用いたシェーマです。内包公理の矛盾により。「集合論の宇宙はΔではない。これが集合論の基本原則ですが。このレベルで判って無い猿が多すぎる。ZFの宇宙はΔだと錯覚してるのよ。着目した議論をしてきましたが。とも懐疑し続けました。「ZF矛盾の証明ができてない。思っているプロも多い模様。ホント、夢想を刷り込まれた鳥猿の惨めさよ。この導入部から、本論に入ります。今まで、数学の証明全体を見直す必要があることを指摘してきました。これは、ZF({x|})が矛盾していることからの論理的帰結なんですが。数学者は集合論や論理を自分達の領域の必須分野だと思ってなかった。これじゃ、証明の何たるかが判るはずもない。前回で、ZF({x|})矛盾の行間説明は終了です。この状況で大事なのは。前回に続き、証明論系シークエントに関する話題を。私の行間埋め作業は正しく実行されるのですが。猿の方も、似たような真似をしてきました。μ’(x)の関数性を用いて、ZF({x|})の論理的矛盾を証明したわけですが。前回で、第一階述語論理ベース理論Tにおいても、土台の集合論は無視できないことが判ったはず。cutで消去できないのよ、ZF(!)は矛盾してるんだから。2021-07-28引き続きこのコンテンツを閲覧するには会員ログインが必要です。ログインページに移動まだ、会員登録お済みでない方は、新規会員登録へお進みください。限量子の課題は、ZFが矛盾することから生起した問題です。脳タリン猿は、まだ抵抗していることが市場調査の結果判明しました。理由は簡単で、私の仕掛けた罠にかかったからです。これがÆだというのが集合論的世界観。数学は集合論の矛盾から逃げれるはずもない。ここの記事を有料化する直前の記事で、ZF矛盾が回避できそうな匂いを漂わせておくと。大学の腰弁が、鬼の首を獲ったように騒ぎ出して。今回から、創世編に入る予定だったのですが。ZF矛盾の本質が判ってないプロが多い模様。これぞ世界レベルの知力基準の現われです。考え、(1)+(2)で矛盾する時。ついて軽く触れておきました。表現が誤変換されていました。これを発見したのは、新サイトでの課金設定の確認作業中。前回、∅(2)の定義における循環について触れておきました。これに関する市場調査の結果。2020-12-28ここからハイパー論理に。目的は、集合論の表現可能性について論じること。2020-11-28ここからハイパー論理に。「内包公理を分出公理に変えると無矛盾になる。今回はテーマは、この理由の推察です。2020-10-28ここから、ハイパー論理に。「形式公理化できれば、その理論体系は無矛盾。思いこんでいたらしい。それが根本的な間違いだと悟らせたのが、神の私です。2020-09-28ここからハイパー論理に。純粋に抽象化された世界では、無矛盾性は保持できます。群論は無矛盾の可能性がありますね。矛盾している可能性もある。2020-08-28ここからハイパー論理に。一般に、性質ψ(x)があって。そのままだとプロパークラスになる可能性があるから。ZFでは普遍的に大事を取って、抑え集合Aで相対化したの。2020-07-28ここからハイパー論理に。前回は、相対的Vなんていう新概念を仰々しく定義しておきましたが。結果は、今まで、すでに指摘してきたことの焼き直しで。大したことは無いと思った猿も多いカモ。2020-06-28ここからハイパー論理に。今回は、新集合論としてのYJ構築に向けた準備として。∅の基本思想について蘊蓄を傾けておきましょうか。2020-04-28ここからハイパー論理に。ここまで来ても、まだ、ZFの矛盾を認めたくない猿がいるカモ。コロナ菌が暴れているとは思わないでしょうけど。それでも、タイミング的には興味深いものがある。2020-03-28ここからハイパー論理に。最初に、前回の宿題の解答から。2020-02-28ここから、ハイパー論理に。ZFに対する新矛盾を100年ぶりに発見したのが神の私です。その具体例が∅のパラドックスでした。いうわけで、新参者も多いでしょうし。2020-01-28ここからハイパー論理に。最初に、敵の妄想を潰すことから入ります。Emailパスワードログイン情報を保存パスワードをお忘れですか?会員について会員登録方法について研究・開発書籍クリックして目次をご覧ください。