Lemma 4.1 Kurs:Mathematik (Osnabrück 2009-2011)/Teil I/Vorlesung 4
Natürliche Zahlen/Induktionsprinzip zur Definition von Abbildungen/Fakt