そのジャンルの話ではないというのは信者界隈で最後に出てくるワードだがその言い訳が通用したのは最初の１，２年が限界やろ。もう１０年もまえから指摘されたエラーが訂正されない。ほんとに“ちょっとしたミス”ならとっくになおってないといけない程度のはなし。しかし１０年たっても直せない、結局修正不可能のエラーだったと評価せざるをえない。IUTは現行の数学の保存拡大ではなく、現行数学モデルの中にモデル化することもできない、そして場合によってはIUTの論理体系は自己矛盾してる可能性まである。
それを否定するなら求められてる言語体系、推論測を明示するしかない、の作業が１０年されてない。
もう終わってる。