Gödel did not prove that mathematics could not 'be proved consistent'. He proved that particular axiomatic systems cannot be both complete and consistent.
Presumably, the reference is to Goedel's second incompleteness theorem, rather than the first incompleteness theorem. (One might still quibble with phrasing it in this way, of course)
Comments
Gödel did not prove that mathematics could not 'be proved consistent'. He proved that particular axiomatic systems cannot be both complete and consistent.
Presumably, the reference is to Goedel's second incompleteness theorem, rather than the first incompleteness theorem. (One might still quibble with phrasing it in this way, of course)