Induktives Zählsystem/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Induktives Zählsystem

Eine Menge mit einem ausgezeichneten Element und einer (Nachfolger-)Abbildung

heißt Zählsystem (oder induktives Zählsystem), wenn das folgende Induktionsaxiom erfüllt ist:

Für jede Teilmenge gilt: wenn die beiden Eigenschaften

    • ,
    • mit jedem Element ist auch ,
    gelten, so ist .