Allgaü |
Common terms and phrases
A X B a₁ axioms b₁ basic system cartesian product Chapter commutative completes the proof concept contradiction contrapositive COROLLARY countable countable set counting numbers definition denoted domain equivalence relation example exists a one-to-one exists a unique exists x e fact finite follows G₁ G₂ greatest element group theory h₁ Hence hypothesis I₁ implies induction infinite intuitive irreflexive isomorphism J₁ least element least upper bound LEMMA linear ordering logic m₁ mathematical means n-tuple n₁ n₂ non-empty notation number system one-to-one correspondence operation ordered pair p₁ positive integers positive rational numbers positive real numbers principle of choice PROJECT proof is complete properties prove q₁ qe H range reader REMARK result sequence shown Similarly statement subset subsystem Suppose symbols system of positive THEOREM theory tion true unique element whence words yields