Можда би дефиниција могла да буде и :
аксиом - математички израз која се не доказује