MDLUL/Induktiv abgeschlossen
Start=Induktiv abgeschlossen
MDLUL/Induktiv abgeschlossen |
---|
Ziel=Natürliche Zahlen/Peano/Induktiv abgeschlossene Teilmenge/Definition
Start=Induktiv abgeschlossen
MDLUL/Induktiv abgeschlossen |
---|
Ziel=Natürliche Zahlen/Peano/Induktiv abgeschlossene Teilmenge/Definition