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

Für jede Aussagenvariable ${}p$ kann man

$\vdash p\rightarrow p$

ableiten, also insbesondere

$\Gamma \vdash p\rightarrow p.$

Da ${}V$ überabzählbar ist, lassen sich also überabzählbar viele Ausdrücke aus ${}\Gamma$ ableiten.

Zur gelösten Aufgabe