Indicwiki: 1 revision imported from :alpha:Template:Set_theory

2023-02-23T11:50:26Z

1 revision imported from alpha:Template:Set_theory

← Older revision	Revision as of 17:20, 23 February 2023
(No difference)

alpha>Indicwiki at 07:17, 22 February 2023

2023-02-22T07:17:47Z

Show changes

Indicwiki: 1 revision imported from :alpha:Template:Set_theory

2022-12-24T04:23:08Z

1 revision imported from alpha:Template:Set_theory

← Older revision	Revision as of 09:53, 24 December 2022
(No difference)

Admin: 1 revision imported

2022-11-17T11:39:29Z

1 revision imported

← Older revision	Revision as of 17:09, 17 November 2022
(No difference)

wikipedia>Supyovalk at 10:39, 3 November 2022

2022-11-03T10:39:46Z

← Older revision		Revision as of 16:09, 3 November 2022
Line 40:		Line 40:
	\| list3 =		\| list3 =
	* [[Cartesian product]]		* [[Cartesian product]]
	* [[Complement (set theory)\|Complement]] (a.k.a set difference)		* [[Complement (set theory)\|Complement]] (i.e. set difference)
	* [[De Morgan's laws]]		* [[De Morgan's laws]]
	* [[Disjoint union]]		* [[Disjoint union]]
			* [[List of set identities and relations\|Identities]]
	* [[Intersection (set theory)\|Intersection]]		* [[Intersection (set theory)\|Intersection]]
	* [[Power set]]		* [[Power set]]
Line 53:		Line 54:
	\| group4 = {{hlist\|Concepts\|Methods}}		\| group4 = {{hlist\|Concepts\|Methods}}
	\| list4 =		\| list4 =
			* [[Almost]]
	* [[Cardinality]]		* [[Cardinality]]
	* [[Cardinal number]] ([[Large cardinal\|large]])		* [[Cardinal number]] ([[Large cardinal\|large]])
Line 79:		Line 81:
	* [[Empty set\|Empty]]		* [[Empty set\|Empty]]
	* [[Finite set\|Finite]] ([[Hereditarily finite set\|hereditarily]])		* [[Finite set\|Finite]] ([[Hereditarily finite set\|hereditarily]])
			* [[Filter (set theory)\|Filter]]
			** [[Filter base\|base]]
			** [[Filter subbase\|subbase]]
			** [[Ultrafilter (set theory)\|Ultrafilter]]
	* [[Fuzzy set\|Fuzzy]]		* [[Fuzzy set\|Fuzzy]]
	* [[Infinite set\|Infinite]] ([[Dedekind-infinite set\|Dedekind-infinite]])		* [[Infinite set\|Infinite]] ([[Dedekind-infinite set\|Dedekind-infinite]])

alpha>Indicwiki: Created page with "{{Navbox | name = Set theory | state = {{{state|{{{1|uncollapsed}}}}}} | title = Set theory | image = File:Venn A intersect B.svg|100px|link=Venn..."

2022-07-05T07:03:10Z

Created page with "{{Navbox | name = Set theory | state = {{{state|{{{1|<noinclude>un</noinclude>collapsed}}}}}} | title = Set theory | image = File:Venn A intersect B.svg|100px|link=Venn..."

New page

{{Navbox
| name = Set theory
| state = {{{state|{{{1|<noinclude>un</noinclude>collapsed}}}}}}
| title = [[Set theory]]
| image = [[File:Venn A intersect B.svg|100px|link=Venn diagram|alt=Venn diagram of set intersection]]
| listclass = hlist

| group1 = Overview
| list1 =
* [[Set (mathematics)]]



| group2 = [[Axiom]]s
| list2 =
* [[Axiom of adjunction|Adjunction]]
* [[Axiom of choice|Choice]]
** [[Axiom of countable choice|countable]]
** [[Axiom of dependent choice|dependent]]
** [[Axiom of global choice|global]]
* [[Axiom of constructibility|Constructibility (V=L)]]
* [[Axiom of determinacy|Determinacy]]
* [[Axiom of extensionality|Extensionality]]
* [[Axiom of infinity|Infinity]]
* [[Axiom of limitation of size|Limitation of size]]
* [[Axiom of pairing|Pairing]]
* [[Axiom of power set|Power set]]
* [[Axiom of regularity|Regularity]]
* [[Axiom of union|Union]]
* [[Martin's axiom]]

* [[Axiom schema]]
** [[Axiom schema of replacement|replacement]]
** [[Axiom schema of specification|specification]]



| group3 = [[Set (mathematics)#Basic operations|Operations]]
| list3 =
* [[Cartesian product]]
* [[Complement (set theory)|Complement]] (a.k.a set difference)
* [[De Morgan's laws]]
* [[Disjoint union]]
* [[Intersection (set theory)|Intersection]]
* [[Power set]]
* [[Symmetric difference]]
* [[Union (set theory)|Union]]



| group4 = {{hlist|Concepts|Methods}}
| list4 =
* [[Cardinality]]
* [[Cardinal number]] ([[Large cardinal|large]])
* [[Class (set theory)|Class]]
* [[Constructible universe]]
* [[Continuum hypothesis]]
* [[Cantor's diagonal argument|Diagonal argument]]
* [[Element (mathematics)|Element]]
** [[ordered pair]]
** [[tuple]]
* [[Family of sets|Family]]
* [[Forcing (mathematics)|Forcing]]
* [[Bijection|One-to-one correspondence]]
* [[Ordinal number]]
* [[Set-builder notation]]
* [[Transfinite induction]]
* [[Venn diagram]]



| group5 = [[Set (mathematics)|Set]] types
| list5 =
* [[Amorphous set|Amorphous]]
* [[Countable set|Countable]]
* [[Empty set|Empty]]
* [[Finite set|Finite]] ([[Hereditarily finite set|hereditarily]])
* [[Fuzzy set|Fuzzy]]
* [[Infinite set|Infinite]] ([[Dedekind-infinite set|Dedekind-infinite]])
* [[Recursive set|Recursive]]
* [[Singleton (mathematics)|Singleton]]
* [[Subset and superset|Subset{{int:dot-separator}}Superset]]
* [[Transitive set|Transitive]]
* [[Uncountable set|Uncountable]]
* [[Universal set|Universal]]



| group6 = Theories
| list6 =
* [[Alternative set theory|Alternative]]
* [[Axiomatic set theory|Axiomatic]]
* [[Naive set theory|Naive]]
* [[Cantor's theorem]]


* [[Zermelo set theory|Zermelo]] 
** [[General set theory|General]] 
* ''[[Principia Mathematica]]'' 
** [[New Foundations|New Foundations]] 
* [[Zermelo–Fraenkel set theory|Zermelo–Fraenkel ]] 
** [[Von Neumann–Bernays–Gödel set theory|von Neumann–Bernays–Gödel ]] 
*** [[Morse–Kelley set theory|Morse–Kelley]] 
** [[Kripke–Platek set theory|Kripke–Platek]] 
** [[Tarski–Grothendieck set theory|Tarski–Grothendieck]] 



| group7 = {{hlist|[[Paradoxes of set theory|Paradoxes]]|Problems}}
| list7 =
* [[Russell's paradox]]
* [[Suslin's problem]]
* [[Burali-Forti paradox]]



| group8 = [[:Category:Set theorists|Set theorists]]
| list8 =
* [[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 Van Orman Quine|Willard Quine]]

}}<noinclude>
{{Documentation
| content =
{{Collapsible option |statename=optional |default=collapsed}}

{{Logic templates}}

[[Category:Logic templates]]
[[Category:Mathematics navigational boxes]]
}}
</noinclude>

Template:Set theory - Revision history

Indicwiki: 1 revision imported from :alpha:Template:Set_theory

alpha>Indicwiki at 07:17, 22 February 2023

Indicwiki: 1 revision imported from :alpha:Template:Set_theory

Admin: 1 revision imported

wikipedia>Supyovalk at 10:39, 3 November 2022

alpha>Indicwiki: Created page with "{{Navbox | name = Set theory | state = {{{state|{{{1|uncollapsed}}}}}} | title = Set theory | image = File:Venn A intersect B.svg|100px|link=Venn..."