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