Kategorie:Der Vollständigkeitssatz der Aussagenlogik/Bemerkungen