Axiome sind im Allgemeinen optional, d. h., ein Kalkül kann auch ganz ohne Axiome auskommen, wenn er ausreichend viele bzw. mächtige Schlussregeln hat.
ˈaksɪˌoːmə zɪnt ɪm ˈalɡəmˌaɪnən ɔptsjˌoːnˈɑːl, dˈeː. hˈɑː., aɪn kˈalkyːl kˌan ˌaʊx ɡˌants ˈoːnə ˈaksɪˌoːmə ˈaʊskˌɔmən, vˌɛn ɛɾ ˈaʊsrˌaɪçənt fˈiːlə bˌeːtsˌɛtvˈeː. mˈɛçtɪɡə ʃlˈʊsreːɡəln hat.