proof equivalence of formulation of foundation
Let be some formula such that is true and for every such that , there is some such that . Then define and is some such that . This would construct a function violating the assumption, so there is no such .
Let be a nonempty set and define . Then is true for some , and by assumption, there is some such that but there is no such that . Hence but .
|Title||proof equivalence of formulation of foundation|
|Date of creation||2013-03-22 13:04:37|
|Last modified on||2013-03-22 13:04:37|
|Last modified by||Henry (455)|