MasterMatt main { Mind m; m.doUniverse()} | La visite annuelle chez mon dentiste est gratuite ...
Je prends rendez vous, il regarde mes dents pendant 1 minute et me dit : "bon bah vos petites carries n'ont pas bougé, vous n'avez pas de tartre, à l'année prochaine"
Si tu n'as rien, peut-être qu'il ne va pas te faire payer ?? ---------------
Si T est une théorie récursivement axiomatisable, cohérente, et qui démontre toutes les formules Σ0 vraies dans N, alors il existe une formule G, négation d'une formule Σ1, qui est vraie dans N, mais non démontrable dans T
|