リーマン予想（未解決の主張）

公理 5.3（「リーマン予想とは何か」§5）

$\zeta$ のすべての非自明零点 $\rho$ は

\operatorname{Re}\rho = \frac{1}{2}

を満たす。同値な形で述べれば、 $\xi(s) = 0 \Rightarrow \operatorname{Re} s = 1/2$ である。

閉包の状態

公理

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

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