Aussagenlogik/Vollständigkeitssatz/Beliebiger Fall/Fakt/Name

Der Vollständigkeitssatz der Aussagenlogik.