Some new incompleteness theorems and their import to the foundations of mathematics

Francisco Antonio Doria

Abstract


We summarize our recent results on the incompleteness of classical first-order axiomatic theories and discuss their import to the foundations of mathematics.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.