Category:Lower attic

From Cantor's Attic
Jump to: navigation, search

The Lower attic contains countable infinite ordinals which can be proven to exist in ZFC.