אקסיומה – הבדלי גרסאות

'''אַקְסיּוֹמָה''', '''אמיתה''', או '''הנחת יסוד'''<ref>[https://wikivrit.fandom.com/he/wiki/חלופון אוצר מילים עבריות למונח אקסיומה] והקשורות למונח זה ('''חלופון הלועזות''' באתר ויקעברית)</ref> (בכתיב ארכאי: '''אכּסיוֹמה''') היא [[הנחה (לוגיקה)|הנחה]] אשר מתייחסים אליה כנכונה וכמובנת מאליה. מקור המילה "אקסיומה" הוא מ[[יוונית עתיקה]] (αξιωμα), ופירושה "עיקרון מובן מאליו", שאינו מצריך [[הוכחה]].

 

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