
Re: Peanolike Axioms for the Integers in DC Proof
Posted:
Feb 24, 2013 4:02 PM


On Feb 25, 2:51 am, CharlieBoo <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? > > CB
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

