２０１９年６月２８日 （経済の日）
未だに、
「ＺＦ矛盾の証明ができてない。」
と思っているプロも多い模様。
ホント、夢想を刷り込まれた鳥猿の惨めさよ。
この導入部から、本論に入ります。
前回、不動産系での土地境界問題を実用例として挙げておきましたが。
以下、プロの課題として、伏線
「ＡＣ ｖｓ ＡＤ」・・・（Ａ）
を採用します。
（Ａ）の影響は、具体的に、ルベーグ測度レベルで出ます。
そこでの課題は、
「その集合はルベーグ可測か？」
で、普通の経済猿は、これで逆に、安心するカモ。
「なんだ、我々が考えるレベルの具体的なモデルはルベーグ可測集合に限定すればＯＫ宇宙。
これで、（Ａ）に関する些細な差は干渉しなくなる。」
こう考えるのですよ。
特に、純粋数学者ではなく、科学者や経済系は。
ホント、馬鹿の見本だな。
反射神経だけで生きているから、推論ができないの。
御存じのように、ルベーグ測度とは積分の基礎ですが。
まず、
「何故、ゲーム理論に関連した、可算集合系のＡＤが（実数や複素数のような）連続体の積分に関連するのか？」・・・（１）
こう考えないと話になりません。
これに対する解答が集合論のＯＳ的把握法。
それでもね、依然として、（Ａ）の干渉具合のルートの解明は残ります。
ＡＣの方は納得できるとして。
何故、ＡＤが、どこを、どう通って、実数世界に影響するのか？
つまり、ＡＤの本質把握です。
このヒントが実数の山口モデル。
ここまで来ても理由が判らない猿は、諦めなさい、真理の理解を。
どうじゃ、仏教系。
オマンらの曼荼羅宇宙観じゃ話になるまいが。
ここから、本当のプロ向けの話に。
更に大事なポイントは、すでに伏線を張ってあります。
ＡＣに対し、より弱い可算ＡＣ（ＡＣＣ）というものを提示しました。
また、土台の集合を実数系に限定したＡＣ（Ｒｎ）も提案しました。
より一般的に、何らかの条件付きＡＣ
「ＣＡＣ（ＣｏｎｄｉｔｉｎａｌＡＣ）」
というものを考えることができます。
勿論、独立の範囲で。
同様に、条件付きＡＤ
「ＣＡＤ（ＣｏｎｄｉｔｉｎａｌＡＤ）」
も考えることができます。
で、
「ＣＡＣ＋ＣＡＤは矛盾するかどうか？」・・・（Ｃ）
の課題がありますが。
それよりも、採用条件の具体例が大事。
勿論、ＣＡＣの条件Ｃ１とＣＡＤの条件Ｃ２は違いますよ。
君らの領域で、発生する条件
「Ｃ１ ｖｓ Ｃ２」
を採用した場合、（Ｃ）は、どうなるか？
ここで注意すべきは、条件Ｃの設定次第で、
「Ｃ１ＡＣはＡＣより強くなり。
Ｃ２ＡＣはＡＣより弱くなる。」
という点。
具体例は宿題。
ここまでは進歩のレベルですが。
ここから進化のレベルに入ります。