MDLUL/rekursiv definierte

Aus Wikiversity
Zur Navigation springen Zur Suche springen
MDLUL/rekursiv definierte

Start=rekursiv definierte

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