References for Consistency: Summary Section

Back to article
See all references for article

References to other articles in the 'Summary Section' section

Axiom
Classical logic
Closed-form expression
Completeness (logic)
Contradiction
Curry-Howard
Cut-elimination
Deductive logic
Emil Post
Formal system
Formula (mathematical logic)
Hilbert's program
Incompleteness theorems
Interpretation (logic)
Kurt Gödel
Mathematical induction
Mathematical logic
Mathematical proof
Model theory
Normalization property
Paul Bernays
Predicate calculus
Principle of explosion
Proof theory
Propositional calculus
Satisfiable
Satisfiable theory
Second-order logic
Semantic
Soundness
Syntactic
Term logic
Theory (mathematical logic)

Source on Wikipedia (https://en.wikipedia.org)

--

Gemipedia Home
Go to Article
Using English Wikipedia. Change Language?

--
Size: 2.32 KB. 99.04% smaller than original: 241.42 KB 🤮
Fetched: 20 ms. Converted: 511 ms. 🐇

Made with 📚 and ❤️ by Acidus (mailto://)

All Wikipedia content is licensed under CC BY-SA 3.0