אקסיומת השלמות

הגדרה

לכל קבוצה חסומה מלמעלה והיא לא ריקה, קיים
לכל קבוצה קבוצה חסומה מלמטה קיים

נכון רק על ממשיים

נראה שזה לא נכון על רציונליים
, קבוצה חסומה למעלה אבל לא קיים סופרמום רציונלי