Citation de rkhettaoui
La machine ne peut pas démontrer quelque chose qui n'en soit pas la conséquence logique.Puisque les axiomes sont vrais , et que des conséquences logiques d'assertions vraies sont vraies , la machine ne peut pas démontrer des assertions fausses.
