# 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.