EDB — 27K

4.4 Ordering[27K]

This theorem will be proven in the following: uniqueness in [267]↺↻, well ordering in [273]↺↻. The existence of such ordering is justified by the model in Z-F, as seen before and summarized in Section [26F]↺↻; otherwise the ordering can be defined using arithmetic, as shown in Section [287]↺↻.

Exercises

1. [267]↺↻

2. [271]↺↻

3. [276]↺↻

4. [277]↺↻

5. [26X]↺↻

Ordering from arithmetic

[287]↺↻

Ordering and arithmetic

[28Q]↺↻