14.3 Second Incompleteness Theorem
Proof that no sufficiently strong consistent system can prove its own consistency.
4 notes
Proof that no sufficiently strong consistent system can prove its own consistency.
Methods for proving consistency of formal systems, including syntactic and semantic approaches.
Relative consistency, inner models, constructibility, and the role of consistency results in axiomatic set theory.
Core meta-properties of formal systems: avoiding contradiction and deciding statements.