Kurs:Einführung in die mathematische Logik (Osnabrück 2021)/Ausdrücke erster Stufe/Über Alphabet/Rekursiv/Definition/Definitionreferenznummer