This is clearly an extremely advanced level mathematical course, focusing on the Peano axioms for the natural numbers which formalised mathematics in the late 19th century. This course would culminate with Gödel's second incompleteness theorem which shows that the consitency of the Peano axioms cannot be formalised within Peano arithmetic itself.
No comments:
Post a Comment