בלוגיקה מתמטית, הוכחה היא סדרה סופית \ a_1,a_2,a_3,\cdots,a_n של פסוקים במסגרת שפת תחשיב יחסים נתונה, המורכבת מאקסיומות ומגזירות באמצעות כלל היסק (לרוב מודוס פוננס): לכל \ 1\leq i \leq n, \ a_i היא אקסיומה, או שקיימים \ i_1,\ldots,i_k < i כך ש⁻a_i נגזר מ⁻a_{i_1},\ldots, a_{i_k} לפי אחד מכללי ההיסק. בסדרה כזו אפשר לראות "הוכחה של המשפט \ a_n", משום שכל טענה היא או אקסיומה, או נובעת מטענות שהוכחו קודם לכן באמצעות כלל הגזירה. מתוך ויקיפדיה

הוכחה בנפנוף ידיים, הוכחה בנפנופי ידיים, הוכחה בשלילה, הוכחה לא קונסטרוקטיבית, הוכחה על דרך השלילה, הוכחה קונסטרוקטיבית, הוכחה ש⁻e טרנסצנדנטי, הוכחה שגויה, הוכחה שיקרית, הוכחה שקרית