Math Forum http://mathforum.org/kb List of forum topics en An equivalent of MK-Foundation-Choice http://mathforum.org/kb/thread.jspa?messageID=8382071&tstart=0#8382071
The following theory is equal to MK-Foundation-Choice

Language: FOL(=,e)

Define: Set(x) iff Ey. x e]]> Feb 20, 2013 5:58:32 PM Feb 20, 2013 5:58:32 PM Zaljohar@gmail.com 0