>>958
>IUTの”一種の「同義反復的解決」”は、基礎の公理には反していない
そもそも、そんな”高尚？”なレベル以前の段階で、
IUT理論が他の数学者に理解されてないと思うが