Date: Feb 24, 2013 4:02 PM
Author: Graham Cooper
Subject: Re: Peano-like Axioms for the Integers in DC Proof

On Feb 25, 2:51 am, Charlie-Boo <shymath...@gmail.com> wrote:
>
> I can derive ~(0'=0).  Does that count as axioms and if not why does
> your set of expressions count and mine doesn't?
>
> C-B


TRY HIS PROGRAM AND FIND OUT!


Download my DC Proof 2.0 software at http://www.dcproof.com


The PROOF TEXT EDITOR will not allow you to enter a line with a
"Syntax Error".


Herc
--
www.BLoCKPROLOG.com