MasterMatt main { Mind m; m.doUniverse()} Transactions (0) | "What the Hell are you trying ..."
Au fait Korner, t'as enfin l'adsl ? ---------------
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
|