25 octobre 2018
de la proposition indécidable
1. Supposons une proposition indécidable, c'est-à-dire que nous ne pouvons démontrer par les axiomes admis. Elle peut cependant être démontrée par un autre chemin. Supposons que cette proposition puisse néanmoins être vérifiée, ou invalidée, dans certains...
