Ausdrucksmenge/Abzählbar/Überabzählbar viele Variablen/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Für jede Aussagenvariable kann man

ableiten, also insbesondere

Da überabzählbar ist, lassen sich also überabzählbar viele Ausdrücke aus ableiten.
Zur gelösten Aufgabe