Ist es in einem Kalkül möglich, einen Widerspruch herzuleiten, dann wird der Kalkül inkonsistent genannt.
ɪst ɛs ɪn ˌaɪnəm kˈalkyːl mˈøːklɪç, ˌaɪnən vˈiːdɜʃpɾˌʊx hˈɛɾtsuːlˌaɪtən, dan vˌɪɾt dɛɾ kˈalkyːl ɪnkˌɔnzɪstˈɛnt ɡənˈant.