そもそものアイデアの説明の所だけど
足し算と掛け算を分離して云々って
F1の言い様とすごく似てるのが気になってる
あるところではF1は集合としてはF2={0,1}と同じで
掛け算は定義されているが足し算は1+1を定義しない
みたいな説明が為されてたりする
何でそんなものが「体」のように扱えるか不明だけど
（二元あるのに）一元体と言い張る人がいるのも
IUTも似て無くも無い感じがする