Date: Nov 17, 2012 4:44 PM
Author: Hercules ofZeus
Subject: Re: SCI.LOGIC is a STAGNANT CESS PITT of LOSERS!

> MATHEMATICS
> E(Y) Y={x|P(x)}  <->  PRVBLE( E(Y) Y={x|P(x)} )
> PRVBLE(T) <-> NOT(DERIVE(NOT(T)))

It amazes me to this day not one LOGICIAN online can fathom this
definition of provable!

NOT(PROVABLE(T))  <->  DERIVE(NOT(T))


Herc