Aussagenlogik/Vollständigkeitssatz/Abzählbar/Auffüllungsstrategie/Fakt/Name

Der Satz über die Auffüllung widerspruchsfreier aussagenlogischer Mengen (abzählbarer Fall).