:מתייחסים לזה כאקסיומה כיוון שאנו לא מוכיחים את זה. אבל זה נכון שזו אינה אקסיומה באמת, וזה נובע מההגדרות של שדה הממשיים. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
הגדרנו בכיתה את R ע"פ ייצוגים עשרוניים אינסופיים ואז זה כבר קל להוכיח שלמות