An Independent Axiom System for the Real Numbers
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.
No Reference information available - sign in for access.
No Citation information available - sign in for access.
No Supplementary Data.
Document Type: Research Article
Publication date: 2009-03-01
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