אתה יכול להגדיר פונקציה חד-ערכית
רק אם אתה יודע שהיא חד ערכית.
אנו יכולים להגדיר "סינוס של זווית חדה במשולש ישר זווית", רק כאשר אנטו יודעים שזה יהיה אותו המספר בכל המשולשים ישרי הזווית בעלי הזווית החדה הנתונה.
ומבחינה "פילוסופית", אקסיומה זה לא משהו כל כך רחוק מהגדרה!
להבדיל ממשפט, הנובע מאקסיומות/הגדרות ומשפטים קודמים.