Induktive Menge

Als induktive Mengen werden in der Mathematik Mengen ${\displaystyle M}$ bezeichnet, die die leere Menge ${\displaystyle \emptyset }$ enthalten und wo für jede Menge ${\displaystyle x}$ auch deren Nachfolgemenge ${\displaystyle x'=x\cup \{x\}}$ enthalten ist. Das Unendlichkeitsaxiom besagt, dass es eine induktive Menge gibt.