In der Mengentheorie werden zur Fortsetzung des Zählprozesses weit über die natürlichen Zahlen hinaus Ordinal- und Kardinalzahlen mit ihrer Arithmetik eingeführt. Eine Ordinalzahl ist eine wohlgeordnete Menge α mit der Eigenschaft {β ∊ α/b < γ } = γ für alle γ ∊ α; eine Kardinalzahl (Mächtigkeit) ist eine