Set Theory and Logic |
Contents
Introduction | 1 |
Choice | 26 |
Transfinite Cardinals Paradoxes of Set Theory | 40 |
Copyright | |
2 other sections not shown
Common terms and phrases
abstract according addition algebraic numbers arbitrary element arithmetic assigned assumption axiom of choice belongs Bernays C₁ Cantor Cantor's theorem cardinal number Cartesian product choice function choice set comprehensive constructive continuum problem contradiction corresponding decimals Dedekind defined definition denote denumerable set disjoint distinguished element equal example exist fact factors finite cardinals finite number finite sets follows formulation Fraenkel Fundamental Theorem gamma set geometry given hence I₁ implies impredicable infinite set infinity instance intersection logical magnitude mapping Math mathematical induction mathematicians means N₁ nature nonempty noninductive null set obtain order type ordered set ordinal pair paradoxes plain sets positive integers power set prime numbers principle procedure proof of Theorem proper subset prove real numbers relation Russell s₁ s₂ segment sequence set theory sets are equivalent sets of points shows similar single element smaller statement transfinite cardinals transfinite induction union well-ordered sets well-ordering theorem Zermelo г₁