Section 2.1: Problem 2 Solution
Working problems is a crucial part of learning mathematics. No one can learn... merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.
James R. Munkres
With the same language as in the preceding exercise, translate back into good English the wff .
First, let us translate this construction appearing twice: . “For every interesting number , .” So, we have “For every interesting number , it is not true that (for every interesting number , it is not true that )”. We can further paraphrase the second part (in the parentheses), namely, , as , or . So, we have “For every interesting number , there exists an interesting number such that ”. Simply put, “For every interesting number, there is a larger interesting number” or “There is no largest interesting number”.