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