Loading AI tools
מוויקיפדיה, האנציקלופדיה החופשית
במתמטיקה ובלוגיקה, עקביות (או קונסיסטנטיות, קוהרנטיות) של מערכת מסוימת פירושה שמערכת זו היא נטולת סתירות. בלוגיקה מתמטית, תורה עקבית היא כזו שלא נובעת ממנה טענה והיפוכה. בתורות לא עקביות אפשר להוכיח כל טענה (משום שמהנחות שקריות נובעת כל מסקנה שהיא), ולכן נחשבת עקביות למעלה הכרחית בכל תורה ראויה.
ערך מחפש מקורות | |
כדי להוכיח שמערכת היא עקבית, מספיק למצוא מודל שמקיים את כל האקסיומות של המערכת. מודל עבור תורה הנבנה במסגרת של תורה מוכיח עקביות יחסית – אם עקבית, אז גם כזו. מודלים כאלו ידועים עבור גאומטריות שונות (למשל, שתי הגרסאות הלא-אוקלידיות של גאומטריית המישור הן עקביות ביחס לגאומטריית המישור האוקלידית), וגם עבור מערכות אקסיומטיות שונות לתורת הקבוצות.
לכל מערכת אקסיומות עקבית יש מודל (משפט השלמות של גדל, 1930). ישנן תורות שבמסגרתן לא ניתן להראות עקביות. דוגמה לכך היא תורת המספרים. כדי להוכיח עקביות של מערכות כאלה יש להפעיל כלים מתמטיים סבוכים יותר ולהסתמך על תורות אחרות. משפט האי-שלמות השני של גדל קובע שלא ניתן להוכיח את העקביות של תורה אריתמטית אפקטיבית (שהיא עקבית), במסגרת התורה עצמה.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.