scratch
§
Why FOL Models Must Be Nonempty
created 2024-01-31
We ask for nonemptiness to ensure rules like
(forall x. x = x)
is equialent to
exists x. x != x
.
❦