Concept
Conservative extension
Overview
area of research
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Zermelo–Fraenkel set theory
- Proof theory
- Mathematical logic
- Model theory
- Peano axioms
- Theorem
- Second-order arithmetic
- Well-formed formula
- Von Neumann–Bernays–Gödel set theory
- Principle of explosion
- Methodology
- Cambridge University Press
- Axiom of choice
Place in the tradition
Part of Non-classical logic.