>>151
数学ど素人のこんなわたしにコメントくださって恐縮です。
IUT理論は既存公理系を抽象化一般化した概念という理解でよろしいでしょうか？
もしそうなら、IUT理論のどの定義や公理にどんな条件をつけると、特殊で抽象度の
低い既存公理系になるということをひととおり提示しても説得には不十分なんでしょうか
質問だらけでもうしわけございません。