Semantics of the predicate calculus with identity and the validity in the empty individual-domain