Every key statement of mathematics (the axioms, conjectures, hypotheses, and theorems) is a positive or negative version of one of four linguistic forms: (1) Object a has property P (2) Every object of type T has property P (3) There is an object of type T having property P (4) If STATEMENT A, then STATEMENT B
