Introduction to Logic and to the Methodology of Deductive Sciences

Abelian group analogous antecedent arbitrary argument value arithmetic asserted axiom system axioms of System basis belong calculus of classes calculus of relations called cardinal number commutative commutative law concepts concerning congruent consequence considerations consisting construction containing corresponding deductive sciences deductive theory defined definiens definition denote derived elements equation equinumerous equipollent equivalent example Exercise exists a number expressions false finite class following theorem formula free variables functional relations fundamental geometry group with respect Hint implication instance integers irreflexive law of trichotomy LEIBNIZ's law logical laws logician mathematical discipline meaning natural numbers numbers x obtained occur operation positive number possible preceding primitive terms proof of Theorem proved quantifiers real numbers reflexive relation holding relations less replace Section 28 Section 37 segments sentential calculus sentential function set of numbers statements symbol symmetrical Theorem theory of relations things tion transitive true sentences truth tables words