>>838
じゃあ、矛盾を示すためにIUT内にある不定性の評価を論じなきゃダメじゃん