２０１９年４月２８日 （合体の日）
前回から、証明文学は第四ステージに入っています。
まず、その冒頭を飾るのがＹＪ編で。
今回は前回の続編になります。
集合論＋Ｔ（Ｘ）が数学証明の作業場だということまで判ったとして。
一番重要な論点である、
「何故、重層ｔｅｒｍと単層ｔｅｒｍが混じったら、矛盾の原因になるか？」
ですが。
実は、これが、Ｐａｒｔ２のΔ編のテーマだったとは、猿には判る由もないのであった。
集合論ＺＦの場合、その宇宙のｔｅｒｍ全体はΔの一部です。
これの境界は？
それが、プロパークラスや超クラスの存在によりハッキリしてないことを示したわけですが。
「回帰的な定義は無理でも、理論上は、
『ＺＦの宇宙』
として決まるのでは？」
フッ、ＺＦの宇宙と言っても、矛盾理論の宇宙だと無意味でしょうが。
少なくとも、集合論を無矛盾に構築する必要がある。
ここが最重要課題ですが。
集合論をＹＪとして無矛盾に構築することに成功したとします。
それなら、重層構造と単層構造が混在しても大丈夫か？
この場合、大丈夫の意味が重要です。
ＹＪは状況依存なのよ。
「これで、宇宙がキチンと決まるのか？」
ダカラー、普遍の意味では無理だと言ってるの。
「デモ、各状況では決まるのでは？」
決まります。
「しかし、再帰的に決まるか？」
ここが最大のポイント。
そもそも、どうやって無矛盾性を保証するのか？
神のみぞ知る。
楽しみに待っていてね。
今までは、ＺＦが矛盾するから、既存の数学証明を全て見直せと言ってきましたが。
今回は、更に、踏み込んで、ＺＦが矛盾するかどうかは別にして。
というか、矛盾するＺＦは破棄して、新しいＹＪ構築した後でも。
従来の数学証明を全部見直せと主張します。
というわけで、まとめると。
人生のハイパー数学原理８
（ＹＪ構築後も）既存の数学証明は、総て、再検査する必要がある。 ┤
数学証明で使用するｔｅｒｍは重層構造と単層構造の混在なの。
しかし、従来の数猿は第一階述語論理ベースで十分と錯覚してきた。
モデルＭ（Ｘ）で考えると、混在という認識すらできないのよ。
ここまで来ると、悪魔が悲鳴をあげつつ、抵抗を示すはず。
最後の手段として考えるのが、集合論とＴ（Ｘ）との混在ではなく、合体。
ＯＳ的把握法で、集合論がＯＳで、Ｔ（Ｘ）がアプリだと言いました。
この比喩で、猿が何を類推するかです。
今回は、言葉で生きる猿の有害性を確認しておきます。