July 28, 20187 yr comment_29096 Gödel also proved that if a system of axioms is coherent, this coherence cannot be proven using those same axioms. In other words a mathematical theory cannot be proven mathematically. Report
Create an account or sign in to comment