מהו Axiomatic:
אַקסִיוֹמָתִי זה משהו בָּרוּר, לא מוטל בספק, שאין עוררין עליו, שאין להכחישו, שאי אפשר להפריך אותו, שאי אפשר להפריך אותו, בטוח, מוכח, ברור, זה משהו ביחס לאקסיומות, וזה לא שקרי או מוטל בספק. לאקסיומטיקה יש משמעות במדעים שונים, כגון לוגיקה, מתמטיקה, הנדסה, כולם עם תיאוריות על אקסיומות.
בהיגיון, יש את מערכת אקסיומטית, שהיא סוג של תיאוריה דדוקטיבית, הבנויה מתנאים ראשוניים שפותחו על ידי כללי הגדרה. במתמטיקה קיימת גם מערכת אקסיומטית, שהיא קבוצת אקסיומות שניתן להשתמש בהן לגזירת משפטים, באמצעות ניכויים.
כמו כן, מערכת אקסיומטית יכולה לבטא את האקסיומות שלה באופן פורמלי או לא רשמי. כאשר כל אקסיומה, המשתמשת בשפה פורמלית, היא שרשרת סופית סופית באלפבית הזה, והרצף הזה הוא נוסחה מעוצבת היטב לפי כללים קומבינטוריים, זה נקרא אקסיומטיזציה פורמלית. כאשר משתמשים בהגדרות חד משמעיות עם שפה טבעית פורמלית, זה נקרא אקסיומטיזציה לא פורמלית. ספרים בנושא מתמטיקה ודיסציפלינות פורמליות אחרות כותבים בדרך כלל אקסיומות בדרך זו.
בהיגיון, אקסיומטית היא כאשר אקסיומה, המכונה גם פוסטולאט, היא משפט שלא הוכח ולא הוכח, ולמרות זאת הוא נחשב מובן מאליו, זו הסכמה להיות מסוגלים לקבל תיאוריה.
