>>317
おっしゃる通りで

余談だが、
究極的には、数学の「正しさ」は自分で確認するべきであって、
「誰誰が言っていたから正しい」というのはただの宗教に過ぎない
もちろん、すべての命題の証明をフォローするのは不可能なので、ある程度は正しいと信じるしかないけどね
変じゃね？と思ったときに確認できるのが数学の良いところで、
IUTに関して言えば、今まさに有名な数学者が「変じゃね？」と言っているわけなんだよね
PRIMSがこれを無視したことは大きな問題だと思う