Posted by fd on March 28, 2001 at 10:01:40 AM EST:
In Reply to: Bavard macaronique, la proposition de Gödel d'un système formalisée serait donc fausse puisqu'elle ne peut être démontrée. posted by on March 27, 2001 at 03:53:08 PM EST:
Le THEOREME de goedel est parfaitement démontré.