MDLUL/induktiv abgeschlossen

Start=induktiv abgeschlossen

MDLUL/induktiv abgeschlossen

Siehe=Induktiv abgeschlossen
MDLUL/Induktiv abgeschlossen
Ziel=Natürliche Zahlen/Peano/Induktiv abgeschlossene Teilmenge/Definition