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

Für jede Aussagenvariable $p$ kann man

$⊢p\to p$

ableiten, also insbesondere

$\mathrm{\Gamma }⊢p\to p.$

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

Zur gelösten Aufgabe