Date: Apr 9, 2013 9:57 AM Author: Alan Smaill Subject: Re: Naive set theory Zuhair <zaljohar@gmail.com> writes:

> What's the proof of the following in naive set theory?

>

> Not exist x. x is empty

In an inconsistent theory, anything is provable.

> Zuhair

>

--

Alan Smaill