|
|
Re: PREDICATE CALCULUS 2
Posted:
Nov 28, 2012 9:36 AM
|
|
Irrelephant newsgroups removed.
Dan Christensen wrote:
> 2. {x | ~x in x} cannot exist
> 3. {x | x=x} cannot exist
Why?
--
When a true genius appears in the world, you may know him by
this sign, that the dunces are all in confederacy against him.
Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting
|
|
