Grundtermenge/Eine Konstante/Ein einstelliges Funktionssymbol/N/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Eine Grundtermmenge sei durch eine einelementige Konstantenmenge , eine leere Variablenmenge und eine einelementige einstellige Funktionssymbolmenge

gegeben. Zeige durch Induktion, dass es eine bijektive Abbildung

mit und

für alle gibt.
Eine Lösung erstellen