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