>キチンと通常の数学基礎論による現代数学の規定に類するものを出せばいい。

まず4のIUT論文を取り下げること。