New posts in incompleteness

System with infinite number of axioms

logic axioms incompleteness

Freeman Dyson's example of an unprovable truth

number-theory incompleteness

What was the planned topic of Gödel's second paper on incompleteness?

logic math-history incompleteness

What is finitistic reasoning?

logic terminology definition proof-theory incompleteness

Is an ultrafinitist way around Gödel incompleteness theorems?

logic incompleteness finitism ultrafinitism

"The set of all true statements of first order logic"

elementary-set-theory logic incompleteness

Decidability vs Completeness

logic model-theory proof-theory incompleteness decidability

Why doesn't Gödel's incompleteness theorem apply to false statements?

logic incompleteness

Is ZFC+V=L consistently $\omega$-complete?

logic set-theory incompleteness

Is there an algorithm that when given a set of axioms, will generate a statement independent of those axioms?

logic incompleteness

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

set-theory incompleteness provability

Gödel's incompleteness theorem can't be proven?

logic incompleteness

Can Robinson's Q prove Presburger arithmetic consistent?

logic proof-theory incompleteness

Is there a quicker argument from the HBL derivability conditions to the equivalence of fixed points of $\neg\Box$ to $\mathsf{Con}$?

logic incompleteness

Gödel's way of teaching non-standard models to Takeuti.

logic model-theory proof-theory incompleteness nonstandard-models

Consistency of Peano axioms (Hilbert's second problem)?

logic induction incompleteness natural-numbers

Are there uncountably infinite complete extensions of finite theories of the natural numbers?

elementary-number-theory logic model-theory incompleteness

Is there a consistent arithmetically definable extension of PA that proves its own consistency?

logic proof-theory incompleteness nonstandard-models

Two theories proving each others' consistency, take 2

logic proof-theory incompleteness

Gödel's Second Incompleteness Theorem and Arithmetically Non-Definable Theories

logic computability incompleteness peano-axioms