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