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:
How simple Z is?
Replies:
1
Last Post:
Apr 23, 2013 11:10 PM




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



