תורת ההוכחות – הבדלי גרסאות

'''תורת ההוכחות''' היא ענף ב[[לוגיקה מתמטית]] החוקר את מושג ה[[הוכחה]] (לוגיקה מתמטית)|הוכחה הפורמלית]], באופן שאינו תלוי בתוכנו של טיעון, אלא במבנה שלו ושל ההוכחה בלבד.