vf_node_title_variants
vf_node_webs
| title (web) | field_t_title_web | |
|---|---|---|
| https://en.wikipedia.org/wiki/Template:Set_theory |
vf_node_items
| vf_node_pictures_all | title (item) | field_cer_web | field_cer_navbox | g_geofield | field_t_coordinates | g_geofield | |
|---|---|---|---|---|---|---|---|
| Neumann János (John von Neumann) |
body
| Set theory | |
|---|---|
| Overview | Set (mathematics) |
| Axioms | Adjunction • Choice • countable • dependent • global • Constructibility (V=L) • Determinacy • Extensionality • Infinity • Limitation of size • Pairing • Power set • Regularity • Union • Martin's axiom • Axiom schema • replacement • specification |
| Operations | Cartesian product • Complement (i.e. set difference) • De Morgan's laws • Disjoint union • Identities • Intersection • Power set • Symmetric difference • Union |
| Concepts • Methods | Cardinality • Cardinal number (large) • Class • Constructible universe • Continuum hypothesis • Diagonal argument • Element • ordered pair • tuple • Family • Forcing • One-to-one correspondence • Ordinal number • Set-builder notation • Transfinite induction • Venn diagram |
| Set types | Amorphous • Countable • Empty • Finite (hereditarily) • Filter • base • subbase • Ultrafilter • Fuzzy • Infinite (Dedekind-infinite) • Recursive • Singleton • Subset • Superset • Transitive • Uncountable • Universal |
| Theories | Alternative • Axiomatic • Naive • Cantor's theorem • Zermelo • General • Principia Mathematica • New Foundations • Zermelo-Fraenkel von Neumann-Bernays-Gödel • Morse-Kelley • Kripke-Platek • Tarski-Grothendieck |
| Paradoxes • Problems | Russell's paradox • Suslin's problem • Burali-Forti paradox |
| Set theorists | Abraham Fraenkel • Bertrand Russell • Ernst Zermelo • Georg Cantor • John von Neumann • Kurt Gödel • Paul Bernays • Paul Cohen • Richard Dedekind • Thomas Jech • Thoralf Skolem • Willard Quine |
fr_importance