Heyting arithmetic is a formal system of arithmetic that is based on intuitionistic logic, reflecting the mathematical philosophy initiated by mathematician L.E.J. Brouwer. It serves as the foundational framework for arithmetic in intuitionistic mathematics, which differs from classical mathematics primarily in its treatment of truth and existence.
New to topics? Read the docs here!