Ist A dagegen ein Konstantensymbol, dann gibt es gewöhnlich ein Kalkül derart, dass gilt: (z.B. die Existenzeinführung im Sequenzkalkül). Da P eine beliebige Aussage sein kann, gilt also insbesondere: Daraus folgt: Wenn es in der Sprache ein Konstantensymbol gibt, dann ist das Universum nicht leer: Es muss mindestens ein Element in Universum geben, welches das Konstantensymbol repräsentiert.