望月新一京大教授まえがき「監修」
加藤文元本

IUT語　p51
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されて
いる」