deduktiver Abschluss:
Cn(T)={φ∣T⊨φ∧φis closed}{\displaystyle Cn(T)=\left\{\varphi \mid T\models \varphi \land \varphi \mathrel {\text{is closed}} \right\}}
Diese Kategorie enthält nur die folgende Seite.