)対象人数も遥かに多いし。(なにせ、億人単位ですよ。)見事な奇跡の発現です。キリストなんかとはレベルが違う。今回は、その具体例の提示をしておきます。神のみが把握できた一番大事な事実関係の指摘です。集合論というのは特殊な理論と言った意味が判ってないでしょう。第一階述語論理ベースの不完全性定理で拡大していく対象は、論理式の範囲です。この間、エルブランuniverseは不変。ところが、公理的集合論では、集合universe自体が拡大していくのよ。ここが根本的に違う点なのですよ。ゆえに、∀や∃の範囲問題が発生する宿命。これこそが、矛盾の原因なの。ところが、目の前でÆのパラドックスを指摘してやっても。「ZFのuniverseは不変でΔ全体。ZFとZFCで変わるのは、成立する論理式の範囲。AC論理式からの対応集合{x|φ(x)}が伏線罠だとも悟れずに。伏線の、コードの内容の話題が理解できてない証拠。話の順序として、ゲーデル関数の対処法から処理しておきましょうか。猿の考える程度のことは、神は特区に、御見通しですよ。敵のアホ猿は「∈使った関数定義をメタで考えずに。prioriに)与えられた関数記号として導入する。これで、termの定義に述語は使用しない。よって、循環は発生しない。term構成で採用される関数は「関数記号」で、内容は後からモデルで付与します。これで、一応、辻褄が合うと思うわけだ。論理」の優先問題が勃発しますよ。いうレベルの基本まで遡って考えることができないのが猿の特徴。論理の方が機械語やアセンブリ言語のレベルで。ZFがOSのレベルなら。「論理優先だから、関数記号はZFと無関係に導入可能。それでも、関数記号の各モデルでの解釈問題が不可避的に発生し。ZFの全ての標準(∈記号を、素直に、集合所属関係と解釈する)モデルでは。Termの定義が重層構造になり、循環が発生する宿命。∈記号を集合所属関係以外と解釈するようなモデルは集合論モデルではなく。何処かの、イカレタ世界における、異常な妄想モデルです。そんなもので、どうにかなる話じゃないの。逆に言えば、その理論は、最早、集合論の形式体系ではないということ。∈記号を、別の?記号に変えて、ZFを書き直してみなさい。一体、何の理論なのよ?それでも、少しは出来るヒルベルトの影響で。モデルに逃げると、不満な猿がいる可能性があるので。ここで、少し、神の知力を垣間見せておきましょうか。仮に、純粋に関数記号として導入するとしても。それを理論中で使用するということは。ZFに余分の関数記号が導入されたことになります。簡単のため、8つの演算をマトメテ、一つの関数記号Ξとすると。ベースの宇宙はΔからΔ(Ξ)になる。ここで、Δ(Ξ)対応の集合論をZF(Ξ)とすると。「ZFとZF(Ξ)で公理が違うと有り得る。」と回答する猿がいたとして。「Lとは何か?何であるべきか?」ZFのモデルでしょうが。ZF(Ξ)はZFと同じ公理なのでは?部分集合の制限に関する話題ですね。これはこれで興味深い課題であり、後の伏線ですが。「LはZF(Ξ)のモデルであり、ZFのモデルでもある。ZFとZF(Ξ)は理論として違う。よって、ZFは矛盾しても、ZF(Ξ)は無矛盾の可能性がある。」と言いたいのか?気持ちは判るけど、無理よ。Lは矛盾理論ZFのモデル。⇒Lは矛盾したモデル。⇒ZF(Ξ)は矛盾したモデルLを持つ。⇒ZF(Ξ)は矛盾理論。「LはZF(Ξ)のモデルだが、ZFのモデルではない。」などと言わないようにね。LがZFのモデルだというのはゲーデルが証明したのよ。このモデル問題を形式的に扱うと。Δ内でのΔ(Ξ)解釈(コピー)問題が生起します。これは、V内でブール値モデルV(B)を考える感じ。「LはVの部分クラス。「この場合のVはΔ(Ξ)のクラスでは?」フッ、Δ(Ξ)の全体クラスとはLのことでしょう。全体クラスをLに制限するために、Ξ導入したのだから。VはΞ無し世界Δのクラスです。LがVの部分クラスとは?その解答がΞの∈解釈。このレベルの課題も考えず、気軽に、関数記号導入なんぞとホザクなよ。判ったかな、Δ理論の重要性と役割が。この点は非常に重要なので、後に詳しく論じるとして。この段階では、そこまで踏み込まなくても、猿の駆除はできるのですよ。仮に、最初からあったと仮定します。(あったと言ってるわけじゃありませんよ。)それなのに、何故、Æのパラドックスが発生するのか?より深い論点が作用しているの。「クラス排除」の基本思想です。「ZFuniverseにはクラスは含まれない。」と何遍、繰り返してきたことやら。Δからクラスを排除しないと、集合論のuniverseにはならないの。これを、どうやって実施するかを、延々と論じてきたのに。目先、ゲーデル関数を持ち出すと。そちらでアドホックに対処しようと画策する始末。そんなものでは、ZFuniverseの境界問題は、どうにもならないのよ。ところが、猿は「Δから集合以外を排除したものが集合論のuniverse。これで定義できている。教科書では、そのレベルの曖昧定義が罷り通っているし。「ZF集合全体とZFC集合全体は同じクラスになるか?」に回帰します。解答できる猿は皆無でしょう。ここから、集合論のuniverseの曖昧さ問題が生起し。限量子の境界問題になり。termの循環問題に繋がるというシナリオ。「この課題はΔ(Ξ)で考えても消えない。なるレベルの課題じゃないの。これが最後の最後の審判。(何回目だっけ?)これにて、前回の結論に至る道程の行間が埋まりました。その猿が都合良く妄想抱いて、神を下働きと考えるなんて。白猿の鼻が高くても、脳が足りなきゃ、序列は下なの。パシリの黒猿は、何をノコノコ近寄ってきてるんじゃ!黄猿は、こっそりとストレスまで掛けおって。ストレス掛け返してやるぜ。金融のストレステストどころじゃない。潰れないのか、ドイツ銀行は。*********************最近の記事*********************2019年12月12月28日*********************11月11月28日*********************10月10月28日*********************9月9月28日*********************8月8月28日*********************7月7月28日*********************6月6月28日*********************5月5月28日*********************4月4月28日*********************3月3月28日*********************2月2月28日*********************1月1月28日*********************2018年12月12月28日*********************11月11月28日*********************10月10月28日*********************9月9月28日*********************8月8月28日*********************7月7月28日*********************6月6月28日*********************5月5月28日*********************4月4月28日*********************3月3月28日*********************2月2月28日*********************1月1月28日*********************2017年12月12月28日*********************11月11月28日*********************10月10月28日*********************9月9月28日*********************8月8月28日*********************7月7月28日*********************6月6月28日*********************5月5月28日*********************4月4月28日*********************3月3月28日*********************2月2月28日*********************1月1月28日*********************ここの記事は、当社会長である、山口人生の仕事で、総て、著作権が設定されています。このシリーズは「PvsNP」問題を解決した歴史的証拠になっています。NP」問題関連の記事は別のサイトに移しました。限定読者だけが閲覧できます。