Concept

Disjunction and existence properties

Overview

In mathematical logic, the disjunction and existence properties are the "hallmarks" of constructive theories such as Heyting arithmetic and constructive set theories (Rathjen 2005).

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

Related ideas

• First-order logic
• Kurt Gödel
• Law of excluded middle
• Mathematical logic
• Constructivism (philosophy of mathematics)
• Sentence (mathematical logic)
• Peano axioms
• Stephen Cole Kleene
• Theorem
• Category theory
• Gödel's incompleteness theorems
• Heyting arithmetic
• Harvey Friedman (mathematician)
• Extension by definition

Place in the tradition

Part of Intuitionistic logic.

Explore Disjunction and existence properties in the interactive graph →