An Independent Axiom System for the Real Numbers
Abstract:We give an irredundant axiomatization of the complete ordered field of real numbers. In particular, we show that all the field axioms for multiplication with the exception of the distributive property may be deduced as theorems in our system. We also provide a complete proof that the axioms we have chosen are independent.
Document Type: Research Article
Publication date: March 1, 2009
More about this publication?
- The College Mathematics Journal is designed to enhance classroom learning and stimulate thinking regarding undergraduate mathematics. CMJ publishes articles, short Classroom Capsules, problems, solutions, media reviews and other pieces. All are aimed at the college mathematics curriculum with emphasis on topics taught in the first two years.
- Information for Authors
- Submit a Paper
- Subscribe to this Title
- Membership Information
- Information for Advertisers
- Terms & Conditions
- MAA Journals at ingentaconnect
- MAA Store
- Ingenta Connect is not responsible for the content or availability of external websites