Retracing Elementary Mathematics |
Other editions - View all
Retracing Elementary Mathematics Leon Henkin,W Norman Smith,Verne J Varineau No preview available - 2012 |
Common terms and phrases
a₁ a₂ applied to lines associative law Axiom P4 axiomatic theory b₁ b₂ binary operation binary relation C₁ cancellation law Chapter commutative law concept Deduction Theorem applied define Definition dense ordered domain E from lines element of G equation exactly x elements example Exercise extension following theorem formal theorem gcd(x given Hence holds induction model integral domain intuitive intuitive knowledge isomorphism law of addition laws of logic lcm(x least upper bound Lemma Let G line 12 line 9 logic from line mathematics multiplication nonempty notation null element number system object obtain one-one mapping ordered pairs Peano models positive integers proof of Theorem properties Prove Theorem rational numbers reader real numbers Right Cancellation Law Rule 12 applied Section sentence sentential formula set G set H set theory statement Suppose symbols tion Trichotomy Law x e G x e H x-sequence xe H