Axiomatic analysis;: An introduction to logic and the real number system,