>>833
>>834
凄い適当でもあり他方で確信もあり口を挟みますが、IUTのような議論はABC予想の証明に不可欠では
ありません。普通の普遍性を満たす完備、余完備な圏論を用いた証明が存在することは
近年の方向性から明らかです。8年経ってこの有り様では、別証明が出てきて定着するほうが先かもしれない