På grunn av denne upresisheten er aksiomet nyttig som filosofisk redskap. Aksiomet er et utsagn som opptrer som en spesiell type premiss i et bestemt rasjonelt system. Aksiomatiske system ble først formalisert av den greske matematikeren Euklid av Alexandria i hans berømte verk (300 f.Kr.).