Math Forum
http://mathforum.org/kb
List of forum topicsenRe: How simple Z is?
http://mathforum.org/kb/thread.jspa?messageID=8897931&tstart=0#8897931
> Pre-Z is the closure of all of what is provable from the]]>Apr 23, 2013 11:10:32 PMApr 23, 2013 11:10:32 PMgrahamcooper7@gmail.com0How simple Z is?
http://mathforum.org/kb/thread.jspa?messageID=8897624&tstart=0#8897624
axioms of first order logic and the following axioms by the rules of inference]]>Apr 23, 2013 3:23:58 PMApr 23, 2013 3:23:58 PMZaljohar@gmail.com1