Concept

Extension by definition

Overview

in logic, defining a new symbol

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• First-order logic
• Proof theory
• Group (mathematics)
• Mathematical logic
• Power set
• Set (mathematics)
• Set theory
• Theory (mathematical logic)
• Well-formed formula
• Definition
• Axiom

Place in the tradition

Part of First-order logic.

Explore Extension by definition in the interactive graph →