Girdle's Incompleteness Theorem

Type: Concept

A theorem that demonstrates the inherent limitations of every formal axiomatic system capable of modeling basic arithmetic.

Mentioned in 1 podcast episode