Ein Kalkül ist konsistent, wenn in ihm nicht alle Formeln herleitbar sind (siehe parakonsistente Logik).
aɪn kˈalkyːl ɪst kɔnzɪstˈɛnt, vˌɛn ɪn iːm nˈɪçt ˈalə fˈɔɾməln hˈɛɾlaɪtbˌɑːɾ zɪnt zˈiːə pˌarakˌɔnzɪstˈɛntə lˈoːɡɪk.