The fundamental axioms of mathematics are inconsistent if and only if we can prove that they are consistent.
Because,
(Because, you know, it follows from "logic." (See Second Incompleteness theorem)
|
3 | edited body | ||
|
|
||||
|
|
2 | added 51 characters in body; edited body | ||
|
The fundamental axioms of mathematics are inconsistent if and only if we can prove that they are consistent. Because, you know, it follows from "logic." (See Second Incompleteness theorem) |
||||
|
|
1 | [made Community Wiki] | ||
|
The fundamental axioms of mathematics are inconsistent if and only if we can prove that they are consistent. (Second Incompleteness theorem) |
||||
