Meist wird die Prädikatenlogik auch so aufgezogen, dass als prädikatenlogisches Axiom (ähnlich den Identitätsaxiomen) hinzugenommen wird. Daher sind "leere" Modelle ausgeschlossen. Ich kann mich zumindest an keine Quelle erinnern die das nicht fordert. -- SnowIsWhite 02:14, 11. Jul. 2011 (CEST)