3 ms·
Gödel did not prove that mathematics could not 'be proved consistent'. He proved that particular axiomatic systems cannot be both complete and consistent.
by yohanatan 12y ago
Gödel did not prove that mathematics could not 'be proved consistent'. He proved that particular axiomatic systems cannot be both complete and consistent.
- Chinjut 12y agoPresumably, 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)