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

כלל ההיסק הנפוץ ביותר הוא [[מודוס פוננס]] - ידוע שמערכת ההוכחה הבנויה על [[לוגיקה פסוקית|הלוגיקה הפסוקית]] וכלל ההיסק היחיד שלה הוא מודוס פוננס היא מערכת [[שלמות (לוגיקה מתמטית)|שלמה]].

 

 

== משפטים חשובים ==