On G\"odel's second incompleteness theorem
classification
🧮 math.LO
keywords
secondincompletenessodeltheoremarithmeticorderproofshort
read the original abstract
A very short proof of G\"odel's second incompleteness theorem (for set theory, second order arithmetic etc.)
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.