Introduction to the Foundations of Mathematics

1-1)-correspondence algebra already application arithmetic assertion axiom system axiomatic basic basis becomes called cardinal number Chapter Choice collection complete concept consider consistency contains contradiction corresponding course culture decimal defined definition denote derived determined digits discussion elements equal equivalence example exists expression fact finite follows formal formula foundations function geometry give given hence hold ideas implies important independent induction infinite instance integers interpretation latter logic Math mathematicians mathematics mean method natural numbers notion obtained operation order type ordinary pair plane positive possible present principle probably Problem proof propositions prove question reader real numbers referred regarding relation remarks represented respect result rule satisfy sense sequence simply ordered space species statement subset suppose symbols Theorem theory tion true undefined universal usually variables well-ordered