>>715の書き込みに全面的に賛同致します

ショルツェの指摘に対して、正面から論駁できなかった
２０１８年の時点でIUTTは数学として終わったと思っています