Start of discussion of cardinality arguments and sup.
Use definition and theorem environments more.
Cleaner presentation of sup-related cardinality results.
Some tidying.
Start prose proof of wellorder_ordinal_isomorphism.
Remove an unnecessary “probably”.
First draft of section on defining supremum.