Category:Counting Theorem

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Counting Theorem:


Every well-ordered set is order isomorphic to a unique ordinal.