Gödel's Second Incompleteness Theorem
Concept
States that a consistent axiomatic system powerful enough to describe arithmetic, cannot prove its own consistency.
Mentioned in 1 video
States that a consistent axiomatic system powerful enough to describe arithmetic, cannot prove its own consistency.
