>いわゆる不定性は単なる単遠アーベル化
の副作用で、計算上の技術的な問題だと
考えても良いでしょうね。

IUTTは ディオファントス幾何の不等式が
目的でしょ。
IUTは分裂も含め モノイド 群 HT、単遠アーベル
幾何などの色々な部品を類推から組み立て
群論的アルゴリズムのソフトを
装備した装置で不定性による不等式を導く、
不定性はIUTTの本質だろうね。
自然さより人工的に組み合わせた装置だが
全体の構造は安定健全だろうか