Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
Peanolike Axioms for the Integers in DC Proof
Replies:
11
Last Post:
Mar 3, 2013 6:13 PM




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



