Questions tagged [consistency]

A system of formal logic is consistent if false is not deducible in the system. (from nLab).

Filter by
Sorted by
Tagged with
13 votes
0 answers

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-...
user21820's user avatar
  • 485