>>168-169
だからsetaがハルシネーションを見続けているだけだって
少なくとも俺は何年も前から言ってきたぞ
人工無能だから情報を更新できないんだろ

2018年の望月 vs Scholzeの議論のメインテーマが
まさしくIUT IVの内容だったわけ
Rpt2018.pdf
>§4. Before proceeding to our exposition of the mathematical
>content of the March discussions, we pause to list briefly
>the various topics that seem to have been the main themes of
>the March discussions:
>(T1) the treatment, in IUTch, of histories of various operations
>performed on mathematical objects;
>(T2) the treatment, in IUTch, of types of mathematical objects
>(i.e.,“species”, in the sense of [IUTchIV], §3);
（以下略）
(T1)も(T2)もIUT IVの内容だな
おっとsetaは英語が全く読めないんだった
（ついでに日本語もな）