Skip to content
Formalizing the (self-reference) error of the Liar Paradox
Provability with Minimal Type Theory
Provability_with_Minimal_Type_Theory.pdf
Post navigation
Previous
Previous post:
Simple English refutation of the Incompleteness Theorem
Next
Next post:
1931 Incompleteness Theorem simplified