Inter-universal geometry と ABC予想 33

[0560 １３２人目の素数さん 2018/10/22(月) 01:58:52.30 ID:sUiuUTxH]

Theorem 3.11までは「一応」認めたうえでCor3.12を分析するという感じかな(S・Sレポートp.9の脚注)
-----------------------
We pause to observe that with the simplifications outlined above, such as identifying identical copies of
objects along the identity, the critical [IUTT-3, Theorem 3.11] does not become false, but trivial.
-----------------------
同語反復的に認めてやると言う感じ（笑）
結果的に「内部矛盾」に陥るわけだから、S・Sらはその原因をIUTTの同型やラベルの扱いを見直す作業から始めている
要するに、3.11までは間違ってはいないが「証明の戦略」が致命的にダメとS・Sは主張している