Kontilera
- 176
- 24
I continue with a questions regarding proofs in set theory.. :)
Halmos just writes that every ordinal number is a transitive set but doesn't prove it. Is there any simple proof of this?
Halmos just writes that every ordinal number is a transitive set but doesn't prove it. Is there any simple proof of this?