← Back to Mathematics Database All Collections

Gödel's Incompleteness Theorems

Named Theorem

Any consistent recursively axiomatized theory extending PA is incomplete.

Charts

Peano Arithmetic Godel Incompleteness 1 Peano Arithmetic Godel Incompleteness 2