Octocurious

❯

Consistency (Logic)

Consistency (Logic)

13 May 20261 min read

A logical theory is consistent if it doesn’t entail a contradiction.

Graph View

Backlinks

Completeness (Logic)
Comprehension
Curry-Howard Correspondence
Foundations of Mathematics
Metatheory-Object Theory Distinction
QIIT (Project)
Russell's Paradox
Sheaf Model
Soundness
Strictly Positive Endofunctor
Strictly Positive Type

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community