Kategorie:Der Vollständigkeitssatz der Aussagenlogik

Diese Kategorie ist eine mathematische Theorie-Kategorie.