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



How simple Z is?
Posted:
Apr 23, 2013 3:23 PM


PreZ is the closure of all of what is provable from the logical axioms of first order logic and the following axioms by the rules of inference of first order logic (Hilbert style).
Comprehension: if phi is a formula then a set {x C A phi} exists.
Infinity: Exist N. 0 in N & for all m. m in N > {m} in N.
/
where C is the known "subset" relation.
It is nice to know that PreZ interpets Z. And that MOST of mathematics can be formalized within it (through its interpretation of Z of course).
Zuhair



