F1 一元体 絶対数学
その類似がIUTだと思えばいいのでは?