Ein anderes metatheoretisches Resultat ist die Feststellung, dass ein konsistenter Kalkül nicht automatisch korrekt sein muss:
aɪn ˈandərəs mˌeːtatˌeːoːrˈeːtɪʃəs rˌeːzʊltˈɑːt ɪst diː fˈɛstʃtˌɛlʊŋ, das aɪn kɔnzɪstˈɛntɜ kˈalkyːl nˈɪçt ˌaʊtoːmˈɑːtɪʃ kɔrˈɛkt zaɪn mˈʊs: