２０２６年２月２８日 （誤近の日）
前回の冒頭で、
「Θ’が自由集合の場合、Θ＋Θ’も自由集合になる」
と指摘しました。
これに異論を唱える猿は一匹もいなかったのかな。
例えば、自然数全体ωから、自由集合η’を抜き出して。
ω－η’をηとすれば。
アラアラ不思議。
η＋η’は枠内集合ωになりますよ。
この反例に対し、自由集合陣営は、どう答えるか？
フフン、神の私なら簡単ですよ。
仮に、Θ＋Θ’が枠内集合になったとしたら。
Θ＋Θ’以外からアルファベットを取ってきて。
（生成して。）
Θ＋Θ’＋Θ”
という自由集合を生成します。
このイタチごっこの思考法こそが自由集合の自由たる所以。
分かったかな、自由集合という特別な命名した枠外集合の価値が。
単なる
｛ｘ｜ｘは曖昧｝
のような枠外集合ではないのよ。
自由性という特色があるの。
この導入部から今回の本論へ。
宙爆開始。
実力誇示のため、前回の知力検査に対する解答を提示すると。
まず、
「エルブラン宇宙から個体定数だけを取り出しても再帰性は保持される」
という事実関係が成立します。
理由が解るかな、猿よ。
term中で関数記号の有る無しの判定は計算可能。
従って、
「エルブラン宇宙－関数記号採用term」
も計算可能だからです。
ゆえに、前回の知力検査の汎用解答候補として
「個体定数集合が計算可能」・・・（個計）
というものがあります。
但し、事態は、それほど単純ではない。
個体定数集合が有限ではなく、無限だと仮定すると。
各定数間には、再帰性を保持できる何らかの相互関係が成立するしかない。
しかし、アルファベットは自由集合なので。
そういう相互関係は仮定しないし、そもそも設定できません。
∴アルファベットだけで無限個のterm系個体定数は準備できない。
凄い真理だ。
ここから、制約設定問題に戻ると。
（個計）で制約は正しいか？
猿なら正しいと思うカモ。
そして、この期に及んで
「そんな条件は当然だからWikipediaでは言ってないだけ。」
と開き直る可能性がある。
しかし、真理は、それほど甘くないのよ。
複合記号を個体定数にする場合。
私なら、
「それは、個体定数＋関数記号の組み合わせに過ぎない。
つまり、個体定数ではない。」
と主張します。
これが伏線効果。
これに、どう反論する気かな？
次に、更なる深みに入って。
「証明可能性 ｖｓ 計算可能性」
の基本的相違問題になってきます。
両者が異なることは、すでに、私が証明済みです。
だって、
「独立 ｖｓ ■」
の差ですから。
それでも、計算可能性が最終解決だと思う猿の浅はかさ。
理論の土台に集合論がありますが。
「ＺＦのtermの計算可能性とは何か？
何であるべきか？」
これが、今後の歴史上有名になる
「エタデルフィア境界」
への手紙。
創始者特権で著作権設定。
ヨハネごときに、引けを取るわけにはいかないの。
すでに手紙の内容はΔ理論として公開済みです。
見てなかった猿は死ぬまで情報弱者として生きる宿命。
全ての道はＺＦ矛盾に通じる。
形式記号だけの話じゃなくなるの。
「それを、形式term世界の記号の話として解決可能か？」
と問うているのよ、ヒルベルト君。
というわけで、ここまでで何を証明したかというと、
人生のハイパーアルファベット原理３
アルファベット自由集合Θの枠内近似は有限集合のみ。 ┤
こう言うのを理性というの。
分かったかな、自由集合の価値が。
より一般的にはハイパー論理の御利益が。
伊達や酔狂で、枠外性の枠内証明してるんじゃないの。
理論にとって、自由集合は必要不可欠の集合です。
term限定の課題じゃありませんよ。
一般のアルファベットに関する基本性質です。
分かってきたかな、ズボッに潜む深淵さが。
少し込み入ってくると、脳内で
「アルファベット ｖｓ 個体定数 ｖｓ 名前」
の概念混同が始まるという見本市。
この相克は、どこに行き着くのか？
それが前回の知力検査の真意です。
今までのアルファベット系論証を当たり前と思ってきた猿よ。
己の脳タリンぶりを恥じよ。
歴史記念に、従来の単純脳猿の立場
「自由集合の枠内近似として可算無限可能」・・・（誤）
を
「誤近（似）」
と呼び、創始者特権で著作権設置。
制約無視しては動けないぜ、ゾンビよ。
状況依存とも言うな。
ちなみに、最近、物理猿が、状況依存性を気にし始めた兆候が垣間見えますが。
フフン、これ以上、哲学を論じるんじゃない！
何の為に、公理化問題を延々と論じているのか悟れないのかよ。
こういう風に裏で繋がって来るのです。
一事が万事。
このように、格爆弾をドンドン落とされて。
西洋文明は廃墟になりつつあるのだよ。
（私はｔａｃｏじゃないので、やると言ったらやるの。）
これ以上、無駄な抵抗は止めよ、脳タリン猿。
無条件降伏して金払うしか残された道はない。
今回の内容はグーグル社全体よりも価値がある。
「社名 ｖｓ 真理」
くらいの格の相違。
termは全ての理論の根幹ですよ。
それを誤近して採用している。
その波及効果が未だに把握できてないでしょうから。
ビジネスに絡めて教示しておくと。
Wikipediaの間違いは、term系ＦＯＰＬ詐欺だけに留まりません。
そもそも、Wikipediaでは未だにＺＦ矛盾が主張されてないし。
「Ｐ ｖｓ ＮＰ」が消滅で解決されたとも言ってない。
最新の情報が欠如した、古色蒼然とした百科事典。
基本的に、情報基盤として素人向けです。
ああそれなのに、それなのに(^^♪
生成ＡＩはWikipediaを学習教材として採用している。
この結果論として
人生のハイパーＡＩ原理
既存の生成ＡＩの出力は信用できない。 ┤
こう最後の審判する私が神。
今回も１京円追加して総額１４京円。
ビジネス界よ。
一口にアルファベットと言っても。
グーグル社より私の真理の方が価値があるという意味が分かってきたかな。
肖り商法のメタなんぞ、問題じゃない。
何がmagnificent７だ。
昔は、“７匹の侍”と言ったものだ。
ちなみに、侍う（サブラウ）の語源は
「貴人の傍に侍（ハベル）る」
から来ているぜ。
バベルではなく、ハベル。
これで４１６町目。