שינויים
/* הוכחת טענות מכומתות */
להלן כמה טכניקות הוכחה שכיחות.
* "'''מספיק להוכיח ש-'''": לפעמים הדרך הקצרה ביותר להוכיח טענה מסויימת היא הוכחת טענה חזקה יותר. זהו שימוש ישיר במודוס פוננס: במקום להוכיח את Q, אנו מוכיחים את P, כאשר הטענה <math>\ P\rightarrow Q</math> ידועה מראש. למשל, כדי להוכיח "קיים מספר ראשוני הגדול מ-<math>\ 10^{4300}</math>", מספיק להוכיח שקיימים אינסוף ראשוניים.
'''הפרכה''' של טענה אינה אלא הוכחה שהטענה אינה נכונה. הדוגמא החשובה ביותר היא '''הפרכה על-ידי דוגמא נגדית''':