שינויים

# כמתים (לכל, קיים, קיים יחיד, קיימים אינסוף) + כימות יחסי (קיים אפסילון גדול מאפס, לכל אפסילון גדול מאפס)

# שלילת פסוקים, הוכחה בדרך השלילה, הפרכה על-ידי דוגמא נגדית.

# כתיבת הוכחה

# מציאת שגיאות בהוכחות