induktive Menge

Als induktive Mengen werden in der Mathematik Mengen bezeichnet, die die leere Menge enthalten und wo für jede Menge auch deren Nachfolgemenge enthalten ist. Das Unendlichkeitsaxiom besagt, dass es eine induktive Menge gibt.