1.Previous
3.Next

must be given, such as the positive real numbers, the real numbers, and complex numbers. The following example in first-order logic
:

is a sentence. This sentence means that for every y, there is an x such that This sentence is true for positive real numbers, false for real numbers, and true for complex numbers.

However, the formula

:

is

1.Previous
3.Next