ABC予想（Masser–Oesterlé, 1985）

公理 13.1（「楕円曲線・モジュラー形式と現代数論」§13）

任意の実数 $\varepsilon > 0$ に対して、

c > \operatorname{rad}(abc)^{1+\varepsilon}

を満たす ABC 三つ組 $(a,b,c)$ は高々有限個しか存在しない。

閉包の状態

公理

公理は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。