Hippopotame (./7880) :
Nan depuis Gödel on sait qu'il existe des propositions vraies et indémontrables.

Sauf que justement elles ne sont pas "vraies" : elles peuvent être soit vraies soit fausses sans que ça pose un problème.