>>747
IUTは、モデルとか全部抜きにして
単純に定理３．１１から系３．１２が導けない
という点だけでダメダメ

系３．１２はIUTのTの部分であり
定理３．１１はIUTのIUの部分

つまり、IUがダメダメ
Tのアイデアが使えると思ってる人はまあ沢山いるだろう

要するに系３．１２をどう正当化できるかにはみんな興味あるが
ＩＵそのものには価値を見出してない
星もフェセンコも加藤文元も