Wenn das der Fall ist, dann ist er der ideale Kalkül für ein logisches System, weil er alle semantisch gültigen Sätze (und nur diese) herleiten kann.
vˌɛn das dɛɾ fˈal ɪst, dan ɪst ɛɾ dɛɾ ˌiːdeːˈɑːlə kˈalkyːl fyːɾ aɪn lˈoːɡɪʃəs zystˈeːm, vˌaɪl ɛɾ ˈalə zeːmˈantɪʃ ɡˈyltɪɡən zˈɛtsə ʊnt nˈuːɾ dˌiːzə hˈɛɾlaɪtən kˌan.