Skip to content
Formalizing the (self-reference) error of the Liar Paradox
Formalizing Self-Reference Paradox using Predicate Logic (PDF)
Formalizing Self-Reference Paradox
Post navigation
Previous
Previous post:
Liar Paradox Proof (PDF)
Next
Next post:
Minimal Type Theory (MTT)