Il semble que les Bogdanoff n’ont rien compris à Kurt Godel.
" Si cette formule était démontrable, cela signifierait que l’on pourrait
démontrer « qu’elle n’est pas démontrable », d’où la contradiction.
Donc cette formule n’est pas démontrable. C’est bien ce qu’elle énonce,
donc elle est valide. Il existe donc une formule valide non démontrable"
http://fr.wikipedia.org/wiki/Kurt_G%C3%B6del