Concept

Heyting arithmetic

Overview

axiomatization of arithmetic

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

Related ideas

• First-order logic
• Independence (mathematical logic)
• If and only if
• Kurt Gödel
• Intuitionistic logic
• L. E. J. Brouwer
• Law of excluded middle
• Proof theory
• Intuitionism
• Mathematical logic
• Model theory
• Natural number
• Peano axioms
• Recursion
• Minimal logic
• Second-order arithmetic
• Boolean algebra (structure)
• Quantifier (logic)
• Alonzo Church
• Gödel's incompleteness theorems
• Principle of explosion
• De Morgan's laws
• Universal quantification
• Disjunctive syllogism

Place in the tradition

Part of Minimal logic.

Explore Heyting arithmetic in the interactive graph →