Search results
From Maths
Create the page "Axiom" on this wiki! See also the search results found.
Page title matches
Page text matches
- #REDIRECT [[Axiom schema of replacement]]67 B (8 words) - 23:18, 8 March 2017
- #REDIRECT [[Axiom of foundation]]59 B (7 words) - 23:19, 8 March 2017
- ** Define {{M|Y:\eq\{x\in X\ \vert\ x\notin x\} }} - which exists by the [[axiom schema of separation]], accordingly {{M|Y\subseteq X}}<ref group="Note">{{X2 KB (330 words) - 01:13, 9 March 2017
- : {{Caution|This proof requires [[the axiom of choice]][[Category:Requires choice]]}}3 KB (592 words) - 00:52, 7 April 2017