I have a structure of predicate logic given by taking the set of natural numbers, 0,1,2... as the domain of discourse
∃X · ∀Y · X < Y
Do you read this as there exists an X such that for all Y X is less than Y?
Is the domain of discourse the possible values for X, and those values are the set of natural numbers?
is this false (I think it is but cant quite get my head around it) If someone could explain it would be very much appreciated. thank you.