２０２１年１０月２８日 （言の日）
今まで、数学の証明全体を見直す必要があることを指摘してきました。
これは、ＺＦ（｛ｘ｜｝）が矛盾していることからの論理的帰結なんですが。
鈍い猿は、この意味が理解できないカモ。
数学者は自分が馬鹿だと判らないレベルの脳なんですよ。
実際、ＺＦとＺＦ＋ＡＣの区別できてませんね。
（実数論・解析学にＡＣを含むの、含まないの？）
しかし、最早、
「ＡＣ ｖｓ ＡＤ」
なんていう段階じゃないの。
証明が全部駄目だという文明崩壊レベルになってきていますよ。
この真意が判ってないらしい。
いいですか、ある数学者が、ある分野の命題Ｘを証明したとします。
ＯＳとしてのＺＦはシェーマですから。
Ｘ証明に使ったＺＦの部分をＺＦ（イ）としましょうか。
その１００年後、別の数学者が、別の領域で、別の命題Ｙを証明したとします。
Ｙ証明に使ったＺＦの部分をＺＦ（ロ）とします。
そして、その１００年後、更に別の数学者が、また別の分野の命題Ｚを。
今までの成果ＸとＹを使って証明したとします。
そのＺの証明で使ったＺＦの部分をＺＦ（ハ）とする時。
「ＺＦ（イ）＋ＺＦ（ロ）＋ＺＦ（ハ）が矛盾する。」
可能性は大いにありますね。
具体的に言って、どう思うかなフェルマーの最終定理の証明を。
いやさ、難問の証明と思ってきた全ての白物家伝を。
勿の論、自分一人で完結できるレベルの証明作業も、この話題を避けて通ることはできません。
すでに単体のＺＦ（イ）やＺＦ（ロ）やＺＦ（ハ）レベルで矛盾してるかもしれないのよ。
実は、事態は更に酷い有り様で。
数猿連中がＯＳとして採用しているのは素朴集合論レベル。
だから、今更、ＺＦ｛ｘ｜｝が矛盾してもビクともしないカモ。
馬耳東風、というか、蛙の面に小便。
面の皮が厚いと、こうなるという見本ですが。
それが駄目なのよ。
１００年前の数学の危機以来。
特に、論理主義が破綻することが判ってからは。
集合論ＺＦを第一階述語論理で展開して。
高階述語論理の部分をＺＦに射影することで。
「論理主義の破綻を、無事、丸く収める。」
というマジックを使った気分だったわけで。
（人体切断マジックならぬ、体系切断マジックだ。）
これが形式公理主義の基本思想です。
つまり、
「数学の証明作業は、イザとなれば、ＺＦベースの公理体系で形式的に実行できる。」
という暗黙の前提があるの。
それが証明作業の正しさを担保してくれるという願い。
だから、ベースが矛盾した素朴集合論では駄目なのよ。
公理的集合論じゃないと。
しかるに、実際にやってきたのは、ＺＦ（｛ｘ｜｝）ベースの証明なの。
そして、ＺＦ（｛ｘ｜｝）は論理的矛盾していた。
だから、全て、見直す必要があるわけです。
分かったかな、事の重大さが。
この導入部から、今回の本論に。