MasterMatt main { Mind m; m.doUniverse()} Transactions (0) | 'tain, encore vivant ce topic
bon, tu lances q3 et tu appuies sur " ² " (touche carré), elle se trouve en dessous d'echap, à gauche de 1 (ou & )
et tu regardes dans la console si c'est marqué 1.31 en bas à droite de cette console (soit milieu droit de ton écran)
si c'est marqué 1.31, c'est que le serveur distant est foireux ! sinon ---------------
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
|