New posts in Provability

In what sense is $\sf ZFC$ "stronger" than Peano arithmetic?

How can you derive a formula without premises?

I don't understand Gödel's incompleteness theorem anymore

Where is my Collatz conjecture proof wrong?

BIG LIST: Statements that look obviously false but cannot be disproved

Is there any conjecture that has been proved to be solvable/provable but whose direct solution/proof is not yet known?

Computable extension to $Σ_1$-sound system that is $Σ_2$-unsound?

Brutal gaussian integral of death $\int_{\mathbb{R}} x \Phi(x) \phi(Bx-b)$

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

What portion of mathematical statements are ZFC undecidable?