Ist es in einem aussagenlogischen Kalkül möglich, mindestens ein ungültiges Argument herzuleiten oder mindestens eine Formel zu beweisen, die keine Tautologie ist, dann ist der Kalkül inkorrekt.
ɪst ɛs ɪn ˌaɪnəm ˈaʊszˌɑːɡənlˌoːɡɪʃən kˈalkyːl mˈøːklɪç, mˈɪndəstəns aɪn ˈʊnɡˌyltɪɡəs ˌaɾɡuːmˈɛnt hˈɛɾtsuːlˌaɪtən ˌoːdɜ mˈɪndəstəns ˌaɪnə fˈɔɾməl tsuː bəvˈaɪzən, diː kˈaɪnə tˌaʊtoːloːɡˈiː ɪst, dan ɪst dɛɾ kˈalkyːl ɪnkˈɔrɛkt.