Aussage/Aussagenvariablenmenge/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Wir legen die Abbildung

rekursiv über den Aufbau von fest. Wegen dem eindeutigen rekursiven Aufbau von ist dadurch eine wohldefinierte Abbildung gegeben. Für

setzt man

Für

setzt man

Für

mit

setzt man

Zur gelösten Aufgabe