What is the significance of Gödel's second incompleteness theorem for mathematics?
Gödel showed no consistent system sufficient for arithmetic can prove its own consistency. What does this mean for the foundations of mathematics?
Gödel showed no consistent system sufficient for arithmetic can prove its own consistency. What does this mean for the foundations of mathematics?