אקסיומות במתמטיקה
כדי שמערכת אקסיומות תהווה בסיס נאות לפיתוחה של תורה מתמטית, עליה למלא שתי דרישות:
- עקביות: לא ניתן להוכיח בעזרת האקסיומות דבר והיפוכו.
- מינימליות: במערכת האקסיומות אין אקסיומה מיותרת, כזו שאפשר להוכיח באמצעות האקסיומות האחרות.
קיום מודל של מערכת האקסיומות מוכיח שהיא עקבית. בדומה לזה, קיום מודל לכל האקסיומות פרט לאחת שדווקא אינה מתקיימת, מראה שאותה אקסיומה אינה ניתנת להשמטה; אם יש מודל כזה עבור כל אחת מהאקסיומות, הרי שהמערכת מינימלית.
דרישה סבירה נוספת היא דרישת השלמות, כלומר הדרישה שבאמצעות מערכת האקסיומות של תורה כלשהי ניתן יהיה להוכיח או להפריך כל טענה שניתן לנסח במסגרת תורה זו. משפטי האי-שלמות של גדל מוכיח שבכל מערכת עשירה מספיק של אקסיומות לא ניתן לקיים דרישה זו מבלי לוותר על דרישת העקביות.
המפגש הראשון (ופעמים רבות גם האחרון) של התלמיד עם מערכת אקסיומטית נעשה במסגרת לימודי הגאומטריה. האקסיומה המפורסמת במסגרת זו היא אקסיומת המקבילים. הניסיונות להוכיח אקסיומה זו על ידי יתר האקסיומות של הגאומטריה הביאו ליצירתה של גאומטריה לא-אוקלידית. פריצת דרך זו הראתה שהאקסיומות אינן בגדר טענות "מובנות מאליהן", אלא ניתן להחליף אקסיומה אחת באחרת, ובכל זאת לקבל מערכת אקסיומות עקבית.
אף שרעיון האקסיומה הוא מאבני היסוד של המתמטיקה, התפתחו ענפי מתמטיקה רבים ללא ביסוס אקסיומטי כלל, או עם בסיס אקסיומטי רופף. בשלהי המאה ה-19 ובתחילת המאה ה-20 עסקו המתמטיקאים באינטנסיביות בביסוס אקסיומטי של המתמטיקה, ונבחנו היטב מערכות האקסיומות שבבסיס הגאומטריה (מערכת האקסיומות של הילברט), האריתמטיקה (האקסיומות של פאנו) ותורת הקבוצות (האקסיומות של צרמלו-פרנקל). רק בשנת 1933 ניתן בסיס אקסיומטי לתורת ההסתברות (האקסיומות של קולמוגורוב).
