>>439
俺は数学における意味・正しさとは有用性と一貫性だと言ってる
その意味でIUTTは有用性が無いから意味がない