C7X
Typo →"Furthermore, a gap ordinal may have a map to N but this map can not be defined at all using first-order set theory"
01:57
−1
→"Furthermore, a gap ordinal may have a map to N but this map can not be defined at all using first-order set theory": new section
+1,079