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