# User contributions

Jump to navigation
Jump to search

- 10:50, 19 January 2020 diff hist +28 Definition:Gödel-Bernays Axioms current
- 10:49, 19 January 2020 diff hist +72 N Category:Axioms/Gödel-Bernays Axioms Created page with "{{AxiomCategoryNocat|def = Definition:Gödel-Bernays Axioms|Set Theory}}" current
- 10:49, 19 January 2020 diff hist +52 Definition:Gödel-Bernays Axioms
- 10:48, 19 January 2020 diff hist -12 Axiom:Axiom of Extension/Sets current
- 10:47, 19 January 2020 diff hist +2 m Axiom:Axiom of Extension/Sets
- 10:46, 19 January 2020 diff hist +120 Axiom:Axiom of Extension/Classes current
- 10:46, 19 January 2020 diff hist -295 Axiom:Axiom of Extension (Classes) Redirected page to Axiom:Axiom of Extension/Classes current Tag: New redirect
- 10:46, 19 January 2020 diff hist +10 Definition:Gödel-Bernays Axioms
- 10:42, 19 January 2020 diff hist +10 m Axiom:Zermelo-Fraenkel Axioms current
- 10:41, 19 January 2020 diff hist +10 m Definition:Set Equality current
- 10:40, 19 January 2020 diff hist +1 m Definition:Zermelo Set Theory current
- 10:40, 19 January 2020 diff hist +10 m Definition:Zermelo Set Theory
- 10:39, 19 January 2020 diff hist -303 Axiom:Axiom of Extension/Sets/Formulation 1 current
- 10:39, 19 January 2020 diff hist -11 Definition:Subclass current
- 10:36, 19 January 2020 diff hist +5 m Definition:Subclass
- 10:36, 19 January 2020 diff hist +20 Axiom:Axiom of Extension/Sets
- 10:35, 19 January 2020 diff hist 0 m Axiom:Axiom of Extension/Sets/Formulation 2 Prime.mover moved page Axiom:Axiom of Extension/Formulation 2 to Axiom:Axiom of Extension/Sets/Formulation 2 current
- 10:34, 19 January 2020 diff hist 0 m Axiom:Axiom of Extension/Sets/Formulation 1 Prime.mover moved page Axiom:Axiom of Extension/Formulation 1 to Axiom:Axiom of Extension/Sets/Formulation 1
- 10:34, 19 January 2020 diff hist -229 Axiom:Axiom of Extension/Sets
- 10:33, 19 January 2020 diff hist +13 Axiom:Axiom of Extension/Sets
- 10:33, 19 January 2020
diff hist
**-908** m Axiom:Axiom of Extension current - 10:32, 19 January 2020
diff hist
**+2,545** N Axiom:Axiom of Extension/Sets Created page with "== Axiom == <onlyinclude> Let $A$ and $B$ be sets. The '''axiom of extension''' states that $A$ and $B$ are Definition:Equal..." - 10:30, 19 January 2020 diff hist +68 Axiom:Axiom of Extension
- 10:29, 19 January 2020 diff hist -15 m Definition:Class Equality current
- 10:28, 19 January 2020 diff hist +8 m Axiom:Axiom of Extension/Sets/Formulation 1
- 10:27, 19 January 2020 diff hist -5 m Definition:Class Equality/Definition 2 current
- 10:27, 19 January 2020 diff hist 0 m Axiom:Axiom of Extension/Classes Prime.mover moved page Axiom:Axiom of Extension/Class Theory to Axiom:Axiom of Extension/Classes
- 10:26, 19 January 2020 diff hist -84 m Tangent to Cycloid passes through Top of Generating Circle current
- 10:23, 19 January 2020 diff hist +119 m Order of General Linear Group over Galois Field current
- 10:17, 19 January 2020 diff hist -44 m Primitive of Square of Hyperbolic Cosine of a x/Corollary current
- 10:16, 19 January 2020 diff hist -59 Derivative of Exponential Function/Proof 3 current
- 10:10, 19 January 2020 diff hist -12 m Inverse of Inverse/Monoid current
- 11:21, 18 January 2020 diff hist +6 m User:Ascii/Theorems current
- 11:20, 18 January 2020 diff hist +6 m Book:Gaisi Takeuti/Introduction to Axiomatic Set Theory current
- 11:20, 18 January 2020 diff hist +6 m There Exists No Universal Set current
- 11:20, 18 January 2020 diff hist +12 m Subset of Cartesian Product current
- 11:19, 18 January 2020 diff hist -6 m Minimal Infinite Successor Set Exists current
- 11:19, 18 January 2020 diff hist +87 m Axiom of Subsets Equivalents current
- 11:17, 18 January 2020 diff hist +24 m Axiom of Pairing from Axiom of Subsets current
- 11:17, 18 January 2020 diff hist +6 m Talk:Cantor-Dedekind Hypothesis current
- 11:16, 18 January 2020 diff hist -92 m Transitive Closure of Set-Like Relation is Set-Like current
- 11:15, 18 January 2020 diff hist +12 m Subclass of Set is Set current
- 11:14, 18 January 2020 diff hist +18 m Definition:Zermelo Set Theory
- 11:13, 18 January 2020 diff hist +12 m Axiom:Axiom of Pairing current
- 11:13, 18 January 2020 diff hist +12 m Axiom:Axiom of Empty Set current
- 11:12, 18 January 2020 diff hist +6 m Russell's Paradox/Corollary current
- 11:11, 18 January 2020 diff hist +24 m Definition:Universal Class/Zermelo-Fraenkel Theory current
- 11:11, 18 January 2020 diff hist +90 m Definition:Universe (Set Theory)/Zermelo-Fraenkel Theory current
- 11:09, 18 January 2020 diff hist +12 m Definition:ZFC current
- 11:09, 18 January 2020 diff hist +18 m Axiom:Zermelo-Fraenkel Axioms