Ich führe keinen neuen Grundbegriff ein wenn ich die Variable (∃…) φ… ∙ ~(∃…) φ… konzipierte. Die Werte dieser Variablen sind ja wohlbekannt.