What people are saying - Write a review
We haven't found any reviews in the usual places.
Logic Language and Mathematics
Logic and Symbolic Logic
57 other sections not shown
Other editions - View all
abstract algebraic assumptions axiom of choice axiom system axiomatic calculus called Cantor's cardinal number chapter claim closed collection compact completeness axiom concept connected set connectedness consider consisting continuous function contradiction correspondence countable countable set defined Definition denote denumerable discussion equivalence relation Euclidian Euclidian geometry example existence finite geometry given idea implies induction infinite sets infinity integer interpretation intuitive Lemma limit point logically equivalent mathe mathematical thought mathematicians matics matter meaning method natural numbers negation neighborhood non-empty notation number system open interval open set parallel postulate point set precise problem propositional function Question rational numbers reader real numbers reason relative topology result Russell paradox same-number of elements sense sequence set theory statement subset Suppose supremum symbol things tion topological space true truth-value uncountable undefined upper bound usual topology words