Completeness Axiom — Supremum
האקסיומה שמגדירה את (נכשלת ב- — הדוגמה הקלאסית: חסומה מלעיל ב- אך אין לה סופרימום רציונלי). מבחנים בודקים את האפיון: אם''ם חסם מלעיל וגם לכל קיים עם .
MathKiller כולל מאות שאלות תרגול על חשבון אינפיניטסימלי 1 (קורס 20474 של האוניברסיטה הפתוחה), עם פתרונות מודרכים, מעקב התקדמות ומבחני סימולציה.