nLab
Heyting arithmetic

Contents

Idea

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.

References

Named after Arend Heyting.