MasterMatt main { Mind m; m.doUniverse()} | J'ai un Seagate 17.2 Go (baracuda ou pas ?)
Eh bien, il était super silencieux ya un an, now, ben, c'est ce qui fait le plus de bruit dans mon pc ! Bon, c'est vrai que tous mes ventilos sont silencieux (2 S2 et un Papst : 18 dba et 19 dba) mais bon ... ---------------
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
|