References for Consistency

Back to article

References to other articles, organized by 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)

Consistency and completeness in arithmetic and set theory

Axiom
Completeness (logic)
Gödel's incompleteness theorems
Independence (mathematical logic)
Peano arithmetic
Presburger arithmetic
Primitive recursive arithmetic
Recursively enumerable
Theory (mathematical logic)
Zermelo–Fraenkel set theory

Notation

Mathematical logic
Turnstile symbol

Definition

First-order logic
Negation
Substitution (logic)
Term (logic)
Well-formed formula

Basic results

Witness (mathematics)

Henkin's theorem

Equivalence class
Equivalence relation
First-order logic
Interpretation (logic)
Signature (logic)
Structure (mathematical logic)
Witness (mathematics)

Model theory

First-order logic
Logical equivalence
Zermelo–Fraenkel set theory

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

--

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

--
Size: 4.21 KB. 98.26% smaller than original: 241.42 KB 🤮
Fetched: 18 ms. Converted: 429 ms. 🐇

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

All Wikipedia content is licensed under CC BY-SA 3.0