Math Forum http://mathforum.org/kb List of forum topics en Paraphrasing MK http://mathforum.org/kb/thread.jspa?messageID=7926304&tstart=0#7926304 ZF) is the following:

Language: FOL(=,e)

Define: set(x)]]> Nov 21, 2012 3:28:53 AM Nov 21, 2012 3:28:53 AM Zaljohar@gmail.com 0