>>487
IUTは従来の数学とパラダイムが
全く違うIUT語で書いてあるんでしょ。