Il teorema di Gödel senza parole

P(z) è una formula che parla di formule utilizzando numeri.

P(G(P(z))) è una formula che parla della formula che corrisponde a G(P(z)), cioè sé stessa. Affermando di essere indimostrabile. Quindi vera.

Le altre parole sono qua.