Posted by on April 13, 2001 at 12:53:09 PM EDT:
In Reply to: Comment un théoréme pourrait il ne pas être démontré ? posted by fd on April 13, 2001 at 11:40:25 AM EDT:
Le premier anonyme a raison. Ce n'est pas de la mauvaise foi, mais bel et bien de la stupidité.
Pour la énième fois : le premier anonyme ne parlait pas du théorème lui-même (pas de la proposition qui l'énonce) mais de la proposition qui est _utilisée_ dans la démonstration, exhibée pour montrer qu'il existe une proposition vraie mais indémontrable : celle-là. Ca ne fait jamais que cinq ou six fois que lui ou moi répétons cette chose toute simple.
Signé : le second anonyme.