Ontify
⌘
S
⌘
S
Share
Heyting Arithmetic
Axiomatization of arithmetic.
Wikipedia | Heyting Arithmetic
Statements about
Heyting Arithmetic
Named After
Arend Heyting
Instance Of
Scientific Theory
