New posts in Incompleteness

What's wrong with this "proof" that Gödel's first incompleteness theorem is wrong?

Decidability and "truth value"

Difference between provability and truth of Goodstein's theorem

Were there any proofs of whether or not a statement could be proved true or false before Gödel's Incompleteness Theorems?

Decidability of the Riemann Hypothesis vs. the Goldbach Conjecture

What portion of mathematical statements are ZFC undecidable?

Consistency of ZFC and proof by contradiction

Statement provable for all parameters, but unprovable when quantified

Is linear algebra more “fully understood” than other maths disciplines?

What is wrong with this "proof" that there is no $\omega$th inaccessible cardinal?