Questions tagged [consistency]
A system of formal logic is consistent if false is not deducible in the system. (from nLab).
1
question
13
votes
0
answers
331
views
Unintentionally proven false theorem with type-in-type outside logic and foundations?
We are all familiar with Russell's paradox, and it is known that Per Martin-Löf proved that type-in-type is normalizing and consistent (which is false), by accidentally using an assumption in his meta-...
- 485