Aussage/Aussagenvariablenmenge/Aufgabe/Lösung


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