http://mathforum.org/kb List of forum topics en http://mathforum.org/kb/thread.jspa?messageID=7926392&tstart=0#7926392 > Another way to present MK (which of course prove the]]> Nov 21, 2012 10:34:12 AM Nov 21, 2012 10:34:12 AM marty.musatov@gmail.com 0 http://mathforum.org/kb/thread.jspa?messageID=7926305&tstart=0#7926305 ZF) is the following:

Language: FOL(=,e)

Define: set(x)]]> Nov 21, 2012 3:31:43 AM Nov 21, 2012 3:31:43 AM Zaljohar@gmail.com 1