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

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