Axiom of foundation
From Maths
Revision as of 23:23, 8 March 2017 by Alec (Talk | contribs) (Created page with "{{Provisional page|grade=A*|msg=Lots of work required!}}<div style="height:0px;">{{M|\newcommand{\limplies}[0]{\rightarrow} }}</div> __TOC__ ==Definition== * {{M|\forall S\big...")
Provisional page grade: A*
This page is provisional
This page is provisional and the information it contains may change before this notice is removed (in a backwards incompatible way). This usually means the content is from one source and that source isn't the most formal, or there are many other forms floating around. It is on a to-do list for being expanded.The message provided is:
Lots of work required!
[ilmath]\newcommand{\limplies}[0]{\rightarrow} [/ilmath]
Contents
Definition
- [ilmath]\forall S\big[S\neq\emptyset\limplies\exists x[x\in S\wedge S\cap x\eq\emptyset]\big][/ilmath][1]
- In words:
- i.e. every non-empty set has an [ilmath]\in[/ilmath]-minimal element
- In words:
