Heyting arithmetic
Sign in to saveaxiomatization of arithmetic
Connections
Kurt Gödel
Entity
mathematical induction
Entity
Luitzen Egbertus Jan Brouwer
Entity
Arend Heyting
Entity
primitive recursive function
Entity
three-state logic
Entity
natural number
Entity
digital object identifier
Entity
binary numeral system
Entity
theorem
Entity
mathematical logic
Entity
recursion
Entity
Q118398
Entity
Goldbach's conjecture
Entity
Gödel's incompleteness theorems
Entity
Diophantine equation
Entity
Alonzo Church
Entity
De Morgan's laws
Entity
fuzzy logic
Entity
Stanford Encyclopedia of Philosophy
Entity