הוכחה (לוגיקה מתמטית)

בלוגיקה מתמטית, הוכחה היא סדרה סופית $\ a_1,a_2,a_3,\cdots,a_n$ של פסוקים במסגרת שפה מסדר ראשון נתונה, המורכבת מאקסיומות ומגזירות באמצעות כלל היסק (לרוב מודוס פוננס): לכל $\ 1\leq i \leq n$, ‏$\ a_i$ היא אקסיומה, או שקיימים $\ j,k < i$ כך ש-$\ a_j = a_k \rightarrow a_i$. בסדרה כזו אפשר לראות "הוכחה של המשפט $\ a_n$", משום שכל טענה שאינה אקסיומה נובעת מטענות שהוכחו קודם לכן באמצעות כלל הגזירה.

ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.