Dimanche 28 Mars 2010 à 22:54
#61
" In place of the axiom of groups III IV, however, we can take a completely arbitrary set of axioms"
Gödel's incompleteness theorems, Raymond M smullyan.
( je l'ai pas trouvé en français ^^ )
Gödel's incompleteness theorems, Raymond M smullyan.
( je l'ai pas trouvé en français ^^ )
Bonnes fêtes à tous !



