MasterMatt main { Mind m; m.doUniverse()} | Nico [PPC] a écrit :
Citation :
Date d'arrivée sur le forum : le 20-06-2003
|
T'as connu le VRAI blabla toi ? 
|
Ah le topic Insultes, des GSNALFs, Bestman qui va casser MTS ou chaisplu quel magasin d'info en audi, les gifs animés et tout ---------------
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
|