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