עקביות (לוגיקה) – הבדלי גרסאות

▲'''עקביות''' (או- '''קונסיסטנטיות''', '''קוהרנטיות''') הוא מושג ב[[לוגיקה]] וב[[מתמטיקה]] המציין שמערכת מסוימת היא נטולת [[סתירה|סתירות]]. ב[[לוגיקה מתמטית]], [[תורה (לוגיקה מתמטית)|תורה]] '''עקבית''' היא כזו שלא ניתן להוכיח במסגרתה [[טענה (לוגיקה מתמטית)|טענה]] והיפוכה. בתורות לא עקביות אפשר להוכיח כל טענה (משום שמהנחות שקריות נובעת כל מסקנה שהיא), ולכן נחשבת עקביות למעלה הכרחית בכל תורה המכבדת את עצמה.

▲בכדי להוכיח שמערכת היא עקבית מספיק למצוא [[מודל (לוגיקה מתמטית)|מודל]] שמקיים את כל האקסיומות של המערכת. מודל עבור תורה A הנבנה במסגרת של תורה B מוכיח '''עקביות יחסית''' - אם B עקבית, אז גם A כזו. מודלים כאלו ידועים עבור גאומטריות שונות (למשל, שתי הגרסאות ה[[גאומטריה לא אוקלידית|לא אוקלידיות]] של גאומטרית המישור הן עקביות ביחס לגאומטרית המישור האוקלידית), וגם עבור מערכות אקסיומטיות שונות ל[[תורת הקבוצות האקסיומטית|תורת הקבוצות]].

▲עם זאת, ישנן מערכות אקסיומות עקביות שאין להן מודל. בכדי להוכיח עקביות של מערכות כאלה יש להפעיל כלים מתמטיים סבוכים יותר. [[משפטי אי השלמות של גדל|משפט אי השלמות השני של גדל]] קובע שלא ניתן להוכיח את העקביות של תורה אריתמטית ואפקטיבית (שהיא עקבית), במסגרת התורה עצמה.