Quando i teologi si cimentano con la Logica Matematica

Ho appena letto Sandro Magister arruola Kurt Gödel di .mau. e lo volevo segnalare agli appassionati di logica e/o religione.
Per i curiosi non appassionati riporto questa citazione.

... penso converrete tutti che la moltiplicazione dei pani e dei pesci e il dogma della Trinità non valgono come “proprietà aritmetica di base”, il che significa che il teorema non può semplicemente essere applicato. Quanto al resto, mi sta anche bene che l’intelletto umano possa, voglia e debba uscire dalla natura per trovare le ragioni ultime che cerca nella soprannatura: ma di nuovo tutto questo non vuol dire che Gödel dovette uscire da un sistema logico coerente per dimostrare almeno una proposizione elaborata in quello stesso sistema logico. Gödel non è uscito da nessuna parte né ha “dimostrato” nulla, al più affermava che occorreva aggiungere la proposizione come assioma.