New posts in Incompleteness

Can we prove that a statement cannot be proved?

are there non-standard models of arithmetic in second order arithmetic?

Why is the Continuum Hypothesis (not) true?

Can ZFC decide number theory?

What is the difference between Completeness and Soundness in first order logic?

True vs. Provable

Prove Gödel's incompleteness theorem using halting problem

Understanding Gödel's Incompleteness Theorem