>3.12から矛盾は導かれてないけどね

新しい数学のIUTTは2022.4.10時点でも言語体系のIUT語が未完成より
間違っすらいないからcor.3.12から矛盾が生じないだろう。(>>28) (>>43)。
またPRIMSが未完成のIUT論文を2020.2.に受理しabc予想が証明された
と宣言した件は京大数理研のIUTスキャンダルだな。