# כמתים (לכל, קיים, קיים יחיד, קיימים אינסוף) + כימות יחסי (קיים אפסילון גדול מאפס, לכל אפסילון גדול מאפס)
# שלילת פסוקים, הוכחה בדרך השלילה, הפרכה על-ידי דוגמא נגדית.
# הצרנה, דוגמאות מהחיים (לכל , דוגמאות מהחיים המתמטיים
# כתיבת הוכחה
# מציאת שגיאות בהוכחות