A first-order theory is consistent when it has no formal proof of a contradiction. This syntactic property concerns the specified calculus; its equivalence with having a first-order model uses the completeness theorem.
Ancestors (8)
- Consistent first-order theory
- First-order theory
- First-order logic
- Mathematical logic
- Foundations of mathematics
- Area of mathematics
- Mathematics
- Home
Incoming links (23)
- Complete omega-consistent arithmetic theories are sound
- Omega-consistency of an arithmetic theory
- Past exam of the logic and set theory course of the University of Oxford / 2008 / A / 4 / b / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2007 / A / 1 / a / ii / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2007 / A / 1 / a / i / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2007 / A / 1 / b / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2007 / A / 1 / c / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2007 / A / 3 / c / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2007 / A / 4 / b / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2007 / B / 5 / ii / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2007 / B / 5 / i / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2007 / B / 6 / i / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2007 / B / 6 / iv / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2008 / A / 1 / a / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2008 / A / 1 / b / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2008 / A / 1 / d / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2008 / A / 2 / a / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2008 / A / 2 / b / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2008 / A / 2 / c / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2008 / A / 3 / a / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2008 / A / 3 / c / Solution
- Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford / 2008 / B / 8 / ii / d / Solution
- Sigma-0 soundness
Synonyms (1)
Discussion (0) New discussion
There are no discussions about this article yet.
Articles by others on the same topic (0)
There are currently no matching articles.