>>470
>「IUTの推論は現行数学のそれと大差ないからわざわざする必要もない」
>「正則性公理はずせば現行の言語体系、推論体系のもとでIUTが展開できる」
>公理をへらして証明できるなら
>公理を減らさないでも証明できないといけない。

然り

>（ZFCの）公理と矛盾しない文をいくらでも公理と追加しても証明できなければならない。
>IUTは現行の公理に無矛盾な極大な公理系を追加した公理系のもとでも証明されなければならない。
>現行公理に「Vが唯一のユニバースである」を追加した公理系の下でも証明できなくてはならない。

然り

>でもできないよな。
>IUT はユニバースがいっぱいあってそれが正則性をみたしてないから
>非標準的な自然数が理論の中に無限にでてこないといけないんだよな？
>どうあがいてもIUT論理体系？とかいうものからでてくるらしい

”教祖”のいうことが正しいなら、
正則性公理とは相いれない何らかの新公理を追加した集合論の下で
はじめて証明されることになる
そしてその”定理”はZFCでは成立しない可能性がある

>どんなに強弁してみても
>IUTが現行の数学の体系とは異なるものである
>としかいえない…

ZFCでは許容されない命題を、正則性公理を削除した上で公理として採用する
（ユークリッド幾何学で許容されない平行線公準の否定を、
　平行線公準を削除した上で公理として採用するようなもの）
その新理論での定理は、ZFCの定理とは限らない
（三角形の内角の和が二直角より小さいという双曲幾何学の定理が
　ユークリッド幾何学の定理ではないのと同様）

”教祖”の定理も教祖の新理論の中で成立するだけであって
（フィールズメダリストのPSが指摘するように）
今の数学では成立しない可能性大