אקסיומה
הנחת יסוד / ויקיפדיה האנציקלופדיה encyclopedia
אַקְסיּוֹמָה, אמיתה, או הנחת יסוד[1] (בכתיב ארכאי: אכּסיוֹמה) היא הנחה אשר מתייחסים אליה במסגרת מסוימת כנכונה מבלי להוכיחה. מקור המילה "אקסיומה" הוא מיוונית עתיקה (αξιωμα), ופירושה המקורי הוא "עיקרון מובן מאליו", שאינו מצריך הוכחה.
במתמטיקה ובלוגיקה, אקסיומה היא הנחה בסיסית (או "נקודת מוצא") במערכת לוגית מסוימת, אליה מתייחסים כנכונה באותה מערכת. טעות נפוצה היא שאקסיומות הן "אמת אינטואיטיבית ובסיסית הברורה מאליה", אולם כיום אקסיומות אינן בהכרח כאלה, אלא רק סיפוק הנחת יסוד אותה אין מנסים להוכיח או להפריך במסגרת הזאת. השילוב בין מספר אקסיומות נקרא מערכת אקסיומטית. מערכת האקסיומות של תיאוריה מתמטית מהווה בסיס להוכחה של המשפטים הנכללים בתורה זו.
בפיזיקה, אקסיומה או פוסטולט היא הנחה בסיסית אשר נבדקה בניסוי, ולכן מתייחסים אליה כנכונה, כל עוד אותה ההנחה לא הופרכה בניסוי, כלומר לא התבררה כשגויה.