Ein weiteres, sehr einfaches Resultat ist die Feststellung, dass ein vollständiger Kalkül nicht automatisch auch korrekt oder nur konsistent sein muss.
aɪn vˈaɪtərəs, zˈeːɾ ˈaɪnfˌaxəs rˌeːzʊltˈɑːt ɪst diː fˈɛstʃtˌɛlʊŋ, das aɪn fˈɔlʃtˌɛndɪɡɜ kˈalkyːl nˈɪçt ˌaʊtoːmˈɑːtɪʃ ˌaʊx kɔrˈɛkt ˌoːdɜ nˈuːɾ kɔnzɪstˈɛnt zaɪn mˈʊs.