תכונת ארכימדס

טיפ למבחן

ההוכחה עצמה היא בשלילה, בעזרת תכונת החסם העליון ‏(משפט 3.6)‏ — אם קבוצת הטבעיים הייתה חסומה מלעיל היה לה סופרימום , ואז אינו חסם מלעיל, סתירה. זו התכונה שמבטיחה שאפשר תמיד למצוא מספיק גדול בהוכחות -.