Math Forum
http://mathforum.org/kb
List of forum topics
en
Forward Branching MODUS PONENS!
http://mathforum.org/kb/thread.jspa?messageID=7933951&tstart=0#7933951
and a FORMULA
how would you decide if the FORMULA
was a THEOREM of those AXIOMS?
AXIOM]]>
Dec 7, 2012 9:00:26 PM
Dec 7, 2012 9:00:26 PM
grahamcooper7@gmail.com
0