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