12 ideas
8679 | We perceive the objects of set theory, just as we perceive with our senses [Gödel] |
9942 | Gödel proved the classical relative consistency of the axiom V = L [Gödel, by Putnam] |
9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
18062 | Set-theory paradoxes are no worse than sense deception in physics [Gödel] |
17611 | We want the essence of continuity, by showing its origin in arithmetic [Dedekind] |
10572 | A cut between rational numbers creates and defines an irrational number [Dedekind] |
17612 | Arithmetic is just the consequence of counting, which is the successor operation [Dedekind] |
10868 | The Continuum Hypothesis is not inconsistent with the axioms of set theory [Gödel, by Clegg] |
13517 | If set theory is consistent, we cannot refute or prove the Continuum Hypothesis [Gödel, by Hart,WD] |
18087 | If x changes by less and less, it must approach a limit [Dedekind] |
10271 | Basic mathematics is related to abstract elements of our empirical ideas [Gödel] |
9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |