Ein Kalkül ist genau dann korrekt, wenn in ihm nur Tautologien bewiesen und nur gültige Argumente hergeleitet werden können.
aɪn kˈalkyːl ɪst ɡənˈaʊ dan kɔrˈɛkt, vˌɛn ɪn iːm nˈuːɾ tˌaʊtoːloːɡˈiːən bəvˈiːzən ʊnt nˈuːɾ ɡˈyltɪɡə ˌaɾɡuːmˈɛntə hˈɛɾɡəlˌaɪtət vˌɛɾdən kˈœnən.