id による応答と要求の対応の一意性

命題 3.3（「拡張の仕組み」§3）・ ✓公理まで証明済み

ある時点で、1 つの送り手が出してまだ応答を受け取っていない要求の集合を $Q$ とし、 $\mathrm{id} : Q \to \mathrm{Id}$ を各要求の id とする。 $\mathrm{id}$ が単射（ $Q$ の相異なる要求は相異なる id を持つ）ならば、次が成り立つ。

$\mathrm{id}$ が単射でなければ、1 は成り立たないことがある。

閉包の状態

✓ 公理まで証明済み

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

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

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

識別子の一意性のもとでの解決の一意性✓定理 3.2・事例研究
- 数学的帰納法の原理✓定理 3.2・証明の技術
  - 背理法の正当性✓命題 6.2・証明の技術
  - 整列性公理 3.1・証明の技術

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