== מודוס פוננס ==
== כמתים ==
אפשר להיעזר בספר של ליניאל ופרנס לפרק זה.
לעתים מוכיחים טענה "לכל <math>a,b</math> מתקיימת איזשהי תכונה <math>P(a,b)</math>". אחר כך בקורס, צריך להשתמש בכך ש <math>P(b,a)</math> נכון. אבל לכאורה המשתנים לא כתובים כמו שהוכחנו. רעיון החלפת השמות של משתנים, במיוחד אם ממחזרים את אותם שמות בסדר אחר, הוא לא טריויאלי וצריך להציגו, בהדרגה:
בטענה עם כמתים, תקפותה לא תשתנה אם נשנה את שמות המשתנים.
תקפותה לא תשתנה גם אם נחליף את שמות המשתנים זה בזה.
== שלילה ==
*שלילת הגדרות מקורסים שונים, כאשר הבנת ההגדרות לאו דוקא הכרחית: גבול סדרה, גבול פונקציה לפי היינה/קושי, רציפות במ"ש, התכנסות במ"ש, סכום ישר, חח"ע, על, ת"ל, מטריצה סימטרית, הפיכה,...