3 ms·
By Gödel's first incompleteness theorem there are true statements that cannot be proven (without adding new axioms).
by Koshkin 2y ago
By Gödel's first incompleteness theorem there are true statements that cannot be proven (without adding new axioms).