Aggiungiamo ad un sistema matematico S (per cui valgano i teoremi di Godel) l’assioma “S è corretto”. Apparentemente, il sistema così ottenuto può dimostrare la propria correttezza (aggiungendo ad un sistema corretto un assioma vero si ha un sistema corretto) e quindi la propria coerenza, quindi è incoerente, quindi S non è corretto. Qual è l’errore?

Per capire dove è l'errore bisogna chiarire meglio cosa è un sistema assiomatico. Un sistema assiomatico è un set di proposizioni formalizzate, per esempio, come accade per la classica teoria ZF per la matematica, nel linguaggio della logica dei predicati del primo ordine. Una delle cose che ha dimostrato Gödel riguardo ai sistemi assiomatici che contengono l'aritmetica di Peano è stato il seguente fatto: l'affermazione "S è coerente" è formalizzabile nell'aritmetica stessa, cioé è una proposizione dell'aritmetica; inoltre se S è coerente allora l'affermazione  "S è coerente" è indecidibile (secondo teorema di Gödel) nell'aritmetica stessa. Aggiungere a S l'assioma "S è coerente" fa ottenere un sistema assiomatico più potente, ma siccome esso contiene ancora l'aritmetica di Peano i teoremi di Gödel valgono anche per questo nuovo sistema assiomatico, che quindi in particolare non può dimostrare la propria coerenza. Di fatto, dal punto di vista metamatematico, aggiungere a S l'assioma "S è coerente" non modifica la coerenza.