4 ms·
> contains contradictions It definitely does not say that. Only that we cannot make a proof of consistency of them. It is possible, and believed, that the Zerm
by greiskul 3y ago
> contains contradictions
It definitely does not say that. Only that we cannot make a proof of consistency of them. It is possible, and believed, that the Zermelo–Fraenkel axioms we use for set theory for example are consistent. But we cannot prove that because of Godel.
- markisus 3y agoI think the statement may be corrected by replacing the “and” with “or”. Does it work to say that “Every sufficiently powerful formal system is incomplete or has a contradiction.”?