מידע מהיר על תורת ההוכחות | רמז

כל מה שרצית לדעת על תורת ההוכחות:
תורת ההוכחות היא ענף בלוגיקה מתמטית החוקר את מושג ההוכחה הפורמלית, באופן שאינו תלוי בתוכנו של טיעון, אלא במבנה שלו ושל ההוכחה בלבד.