As we needed an axiom to take the supremum of the finite ordinals, how are we allowed without another axiom to take the supremum of the countable ordinals?
Asked
Active
Viewed 51 times
0
-
2Because we can just use Hartogs' lemma on $\omega$ (if we already have $\omega$). – Sassatelli Giulio Feb 17 '24 at 16:30