MasterMatt main { Mind m; m.doUniverse()} | Vidocq et Ghost of Mars > et dire que je suis abonné à canal+ ... ça fait pitié les films en ce moments sur canal+ (et pas que sur cette chaine) ---------------
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
|