Posted by fd on March 29, 2001 at 07:46:12 AM EST:
In Reply to: Fouette-toi, le ciel te fouettera posted by on March 29, 2001 at 07:41:52 AM EST:
Mon message répondait au titre suivant :
Bavard macaronique, la proposition de Gödel d'un système formalisée serait donc fausse puisqu'elle ne peut être démontrée.
Or elle l'est !
Ce qui est donc la différence entre une simple proposition ET un théoréme.