Axiom of foundation
From Maths
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: