Es sei V {\displaystyle {}V} eine Menge von überabzählbar vielen Aussagenvariablen und es sei Γ ⊆ L V {\displaystyle {}\Gamma \subseteq L^{V}} eine abzählbare Ausdrucksmenge. Ist Γ ⊢ {\displaystyle {}\Gamma ^{\vdash }} abzählbar oder überabzählbar?
