משפט השלמות של גדל
משפט השלמות הוכח על ידי קורט גדל ב‑1929. המשפט אומר שיש קשר בין אמת והוכחה. אם משפט נכון בכל מודל, אז אפשר להוכיח אותו. מודל = דרך להראות איך הדברים יכולים להיות אמיתיים. ניסוח שווה לזה: לכל תורה עקבית יש מודל. תורה עקבית = קבוצה של חוקים שאין בהם סתירות. ההוכחה של גדל גם מראה איך לבנות מודל כזה...