" 2 + 2 = 5 E' FALSO "

immagine tratta da: http://lgicaepn.blogspot.it/2011/12/logica-matematica.html

La logica matematica che contiene una quantità sufficiente di aritmetica è l'unica entità metafisica che è riuscita a provare la sua indimostrabilità.