MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

3 edited body

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)

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)