MDLUL/Induktiv abgeschlossen

Start=Induktiv abgeschlossen

MDLUL/Induktiv abgeschlossen

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