A. Levy

Suggest Changes
Learn More
This note gives a method of presenting axiom systems for various induced theories like the natural numbers theory of the real numbers theory and the pure set theory (with no constants except G and =(More)