Date: Apr 23, 2013 3:23 PM
Author: Zaljohar@gmail.com
Subject: How simple Z is?
Pre-Z 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 Pre-Z interpets Z. And that MOST of

mathematics can be formalized within it (through its interpretation of

Z of course).

Zuhair