transfinite arithmetic, cardinal arithmetic, ordinal arithmetic
prime field, p-adic integer, p-adic rational number, p-adic complex number
arithmetic geometry, function field analogy
Heyting arithmetic is the constructive counterpart of Peano arithmetic. It adopts all the axioms of Peano arithmetic, while using constructive logic as its rules of inference.
Named after Arend Heyting.