>>134
>>128で

＞セクション3は主題に関係ないとはいえ

って書かれてるけど、IUTを擁護してるひとの話を聞く限り、
3.12の正当化には集合論が使われてるんだよね。
つまり3.12がきちんと書かれていないだけでなく、
書き下したときには集合論に対する誤解が含まれているのだと思う。
つまり形式面でも瑕疵があるだけでなく内容も間違っている。