MDLUL/rekursiv definierte

Start=rekursiv definierte

MDLUL/rekursiv definierte

Ziel=Natürliche Zahlen/Induktionsprinzip zur Definition von Abbildungen/Fakt