Quartz 4
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Consistency (Logic)
Consistency (Logic)
Dec 08, 2025
1 min read
A
logical theory
is
consistent
if it doesn’t entail a
contradiction
.
Graph View
Backlinks
Curry-Howard Correspondence
Foundations of Mathematics
Logical System
Sheaf Model
Strictly Positive Type