Ein weiterer axiomatischer Kalkül ist als Beispiel im Artikel Hilbert-Kalkül angegeben, ein graphischer Kalkül im Artikel Existential Graphs.
aɪn vˈaɪtərɜ ˌaksɪoːmˈɑːtɪʃɜ kˈalkyːl ɪst als bˈaɪʃpiːl ɪm aɾtˈiːkəl hˈɪlbɜtkˈalkyːl ˈanɡəɡˌeːbən, aɪn ɡɾˈɑfɪʃɜ kˈalkyːl ɪm aɾtˈiːkəl ˌɛksɪstˌɛntiːˈɑːl ɡɾˈɑːfs.