
Inexhaustibility
Torkel Franzén
₹4,053

A Non-Exhaustive Treatment: Lecture Notes in Logic 16
Free delivery. Nothing extra to pay at checkout.
Gödel's Incompleteness Theorems are among the most significant results in the foundation of mathematics. These results have a positive consequence: any system of axioms for mathematics that we recognize as correct can be properly extended by adding as a new axiom a formal statement expressing that the original system is consistent.
Description supplied by the publisher.