YES; THE STATEMENT ∀M∃N(M < N) WITH DOMAIN OF DISCOURSE Z × Z OF EXAMPLE 1

2. Yes; the statement ∀m∃n(m < n) with domain of discourse Z × Z of Example 1.6.1 also solves

problems (a) and (b).