２０２５年８月２８日 （神ブランド）
そもそも、何故、∨シェーマなんて概念が必要なのか？
「私がトンデモになった証拠では？」
なんて思った猿が多いカモ。
それが青いの。
「前回の伏線が何処に効くのか？
あれは公理系枠外の話だろう。」
こう考えるから甘いのよ。
今回、公理系の∨シェーマに関する秘密を開示します。
まずは、土台の集合論にまで立ち返ると。
便利な
「和集合演算 ∪」
があります。
これで十分なのでは？
フッ、それが、そう簡単な話じゃないの。
だからこそ、∨シェーマなんて呼び名を採用して。
何処がポイントか際立たせることにしたのです。
公理として
Ａ∨Ｂ
を採用した場合。
その体系で、ＡやＢは単独で成立するか？
そんな保証は出来ませんね。
ましてや
Ａ∧Ｂ
が成立するなんてことはない。
だったら、Ａ∨Ｂは使い物にはならないのでは？
フッ、甘い脳。
以下、∨の解釈問題を扱うことで。
少し亀裂の深みの味を楽しませてあげます。
チラッと覗き見るスリルを味わってください。
背筋がゾクッとするはずです。
では宙爆開始。
古典論理は、
「真理はＹｅｓかＮｏの２値」
の世界です。
真理値＝｛１,０｝とすると
真理値＝１∨真理値＝０
が成立します。
真理値を述語化すれば
真理値（１）∨真理値（０）
となるわけですが。
真理値は集合として
１∈真理値 ⋀ ０∈真理値
なので、
真理値（１）∧ 真理値（０）
も成立しますよ。
成立するということは、この真理値は１。
よって、少し複雑な
真理値（真理値（１）∧ 真理値（０））＝１ ・・・（真）
が成立します。
この場合、真理値が述語と関数の２通りに採用されています。
徐々に重層構造という迷宮に入っていきますよ。
真理値（１）∧ 真理値（０）・・・（∧）
は本来、formulaですが、集合論的にterm化したものも
（真理値（１）∧ 真理値（０））’
として扱えます。
これが’法であり。
集合（論）の重層構造は、こういうレベルの話。
但し、ここでは集合ではなく、述語として扱うので。
（∧）の真理値に注目し、正確には、
“真理値（１）∧ 真理値（０）”
くらいに区別した方が良い。
これを
”法
と呼んでおきましょうか。
創始者特権で著作権設定。
ここの処の微妙さは、例の、
「テープにおける’法」
並み。
慣れてくると、論理における’法や”法の
’や”
は無視できるのですが。
テープにおける’法の’は無視できません。
こういう風にメタを精緻に分析し。
集合的に把握できないと話が見えなくなります。
具体例を挙げると、
真理値（１∨０）
は成立するのか？
１と０を真理値と解釈するＢ世界においては
１∨０＝１
なので、
真理値（１∨０）⇔真理値（１）
で使用ＯＫとなります。
一方、論理の世界では、∨は論理式に適用される論理記号。
ゆえに１∨０は違法使用です。
もっとも、真理値１を論理式の抽象化概念として解釈すれば。
’法使えばＯＫ宇宙です。
これが述語の関数化で集合論重層構造の素。
慣れれば、’を省略する。
分かってきたかな、
「オブジェクト ｖｓ メタ」
の違いが。
というか、状況設定の大事さが。
「集合 ｖｓ メタ ｖｓ 状況」
の３題話。
で、ここから、ｔａｐｅ（ｎ）の話題に戻ります。
ｔａｐｅ（ｎ）はＴＭの遷移関数セマンティクスの素ですが。
これと新虚数ｉｎの根本的相違がピンと来てない猿が多い模様。
脳がタリンと、こうなるという見本です。
Ｐ脳なんか、自分の狭い世界観で私の解説を見て。
辻褄が合わないと、私の方が間違っていると解釈するのよ。
事、ここに至っても、まだ、そういう判断をしている風情。
だから、無能は人類の邪魔になるのです。
（今や、無脳ですね。
ゾンビだ。）
無視悪魔というのがいるのですが。
無能悪魔もいるんですよ。
神が人類の敵にしておきます。
ここまで神の足を引っ張ってきたのです。
今更、文句は言わさない。
なにせ、原罪ですよ。
というわけで、脳タリン相手に行間を埋めておくと。
ｔａｐｅ（２）
の
２
が曲者なんですよ。
集合論的には
２＝｛１,０｝
ですね。
この心は？
「ｔａｐｅ１ ｖｓ ｔａｐｅ２」 ・・・（１,２）
とか、
「ＴＭ１ ｖｓ ＴＭ２」
と言った場合。
ここで使う２というのは、
「１と区別するための記号」
として採用されています。
つまり、（１,２）の代わりに
「ｔａｐｅ甲 ｖｓ ｔａｐｅ乙」・・・（甲乙）
と出来るのです。
それに対し、
ｔａｐｅ（２）
の方は？
こちらは、
「ｔａｐｅ数は２」
という命題ですよ。
集合で表現すれば
｛ｔａｐｅ甲,ｔａｐｅ乙｝
の世界に対する、要素数２を提示したもの。
だから、
ｔａｐｅ（１）∧ ｔａｐｅ（２）
は成立しないのよ。
但し、メタで世界（状況）を比較する場合。
「ｔａｐｅ（１）世界 ｖｓ ｔａｐｅ（２）世界」
は証明対象として扱えるのです。
これで、辻褄が合ったでしょう。
一方、新虚数
ｉ２、ｉ３、・・・
の場合。
２や３は区別する記号なので。
ｉイ、ｉロ、・・・
とできますね。
だから、ｔａｐｅ甲の方です。
但し、
ｉイ
は名前termなので。
ｉイ∨ｉロ
は論理違反です。
以前使ったのは、伏線罠。
敢えて
「ｔａｐｅ（２） ｖｓ ｉ２」
の根本的相違を対比させるのが目的。
あの段階で違いが判る猿がいたかな？
よって、正確には述語
虚数（ｘ）を用いて
虚数（ｉ）∨ 虚数（ｉ２）
とやるのが正解。
但し、ここから更に深みに入ると。
集合としてｉ２を見るケースもあるわけで。
その場合はｉ２は述語化できます。
具体的には
虚数（ｉ２）
だけではなく、
ｉ２（虚数）
なんて可能ですよ。
但し、これを集合に翻訳し直すと（デコードすると）。
循環が発生します。
拙いですね。
だから、通常はｉ２は述語化しません。
こういう循環の拙さだけじゃありません。
闇雲に述語化していくと。
内包の公理みたいに。
矛盾の原因になるのです。
この意味で、述語使うよりも、集合使う方が精緻な議論が出来ます。
これが集合概念の優位性であり。
数学の土台として集合論が採用される所以です。
少しは見習えよ、物理猿や計算猿。
こういう極めて基本的な作法をキチッと身に付けてないと。
理論に抽象記号を導入し少し複雑化していくと。
忽ち、混同が始まり。
誤った証明になっていくのです。
数猿も少しは悟れ。
こういうのはＡＢＣじゃなく、イロハだぜ。
サトシは暗号資産の世界で伝説の名前ですが。
今後、
「サトレ（satore）」
を証明世界における伝説の述語にします。
神が、そう天地創造したからです。
価値を金額で比較すれば。
京超えて、垓だな。
格の桁が違う。
勿論、天地創造できる神は、更に格上で。
杼
の世界を超えた住人。
もはや、人類では到達不能な存在です。
至高の地位を仏なんぞに譲る気はない。
桁の比較をしておくと。
穰
まで到達できないでしょう、人類のマネーは。
但し、ハイパーインフレになれば別儀。
そうなったら、資産のモノサシとして使い物にならず。
単位切り下げて、０を減らすはず。
だから、経済世界では、一瞬を除いて
穰
まで到達できない。
一方、物理では１０の４０乗くらいまではやるカモ。
マ、数学では無限を扱うのですが。
その果ての枠外に自由集合が控えている。
神の鎮座する天国。
認識世界は、こういう仕組みです。
こういう数秘術というか。
日本語ベースの言葉遊びというか。
神の余裕だな。
これで３９６町目。