Octocurious
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Consistency (Logic)
Consistency (Logic)
08 Dec 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
Metatheory-Object Theory Distinction
Sheaf Model
Strictly Positive Endofunctor
strictly positive