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

תוכן שנמחק תוכן שנוסף
OKBot (שיחה | תרומות)
מ בוט מוסיף: fa:نظریه برهان
←‏משפטים חשובים: קישור לכריעות
שורה 11:
== משפטים חשובים ==
 
* קבוצת המשפטים היכיחים [[כריעות|כריעה למחצה]] (ניתן לוודא שמשפט יכיח, לא ניתן לוודא שמשפט לא יכיח).
* [[משפט הקומפקטיות]]
* [[משפט השלמות של גדל]]