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?
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