Für gewisse komplexere logische Systeme (z. B. Mengenlehre) ist es aber unmöglich, einen vollständigen Kalkül aufzustellen, der auch korrekt ist;
fyːɾ ɡəvˈɪsə kɔmplˈɛksərə lˈoːɡɪʃə zystˈeːmə tsˈɛt. bˈeː. mˈɛŋənlˌeːrə ɪst ɛs ˌɑːbɜ ˈʊnmˌøːklɪç, ˌaɪnən fˈɔlʃtˌɛndɪɡən kˈalkyːl ˈaʊftsuːʃtˌɛlən, dɛɾ ˌaʊx kɔrˈɛkt ɪst;