n 進表示の存在と一意性

定理 4.1（「整数の性質 I」§4）・ ✓公理まで証明済み

$b\ge2$ を整数とする。正の整数 $N$ は

N=d_kb^k+d_{k-1}b^{k-1}+\cdots+d_1b+d_0,\qquad0\le d_i\le b-1,\quad d_k\ne0

の形に、ただ 1 通りに書ける。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 4 件、定義なども含めて 5 件）。

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

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

完全帰納法✓定理 4.3・証明の技術
- 数学的帰納法の原理✓定理 3.2・証明の技術
  - 背理法の正当性✓命題 6.2・証明の技術
  - 整列性公理 3.1・証明の技術
除法の原理✓定理 2.1・合同式とフェルマーの小定理
- 整列性公理 3.1・証明の技術

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