http://mathforum.org/kb List of forum topics en http://mathforum.org/kb/thread.jspa?messageID=8302802&tstart=0#8302802 > On Feb 8, 4:27 pm, Frederick Williams]]> Feb 11, 2013 12:25:53 PM Feb 11, 2013 12:25:53 PM shymathguy@gmail.com 0 http://mathforum.org/kb/thread.jspa?messageID=8271870&tstart=0#8271870 wrote:
> Zuhair]]> Feb 8, 2013 9:33:18 AM Feb 8, 2013 9:33:18 AM Zaljohar@gmail.com 1 http://mathforum.org/kb/thread.jspa?messageID=8271120&tstart=0#8271120 >
> I see the following theory a natural one that proves the consistency
> of ZFC.
>]]> Feb 8, 2013 8:27:57 AM Feb 8, 2013 8:27:57 AM freddywilliams@btinternet.com 2 http://mathforum.org/kb/thread.jspa?messageID=8270368&tstart=0#8270368 of ZFC.

Language: FOL(=,in)

Define: set(x) iff Exist y. x in]]> Feb 8, 2013 7:27:00 AM Feb 8, 2013 7:27:00 AM Zaljohar@gmail.com 3