NotesFAQContact Us
Search Tips
Peer reviewed Peer reviewed
Direct linkDirect link
ERIC Number: EJ862215
Record Type: Journal
Publication Date: 2009-Mar
Pages: 9
Abstractor: As Provided
Reference Count: 0
ISSN: ISSN-0746-8342
Independent Axioms for the Field of Real Numbers
Oman, Greg
College Mathematics Journal, v40 n2 p78-86 Mar 2009
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.
Mathematical Association of America. 1529 Eighteenth Street NW, Washington, DC 20036. Tel: 800-741-9415; Tel: 202-387-5200; Fax: 202-387-1208; e-mail:; Web site:
Publication Type: Journal Articles; Reports - Descriptive
Education Level: Higher Education
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A