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