Mathematics the study of axiom systems - Witter, G. E. (Blaisdell Publishing Company, 1964)