Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Heyting arithmetic
open-in-new
<p>In <a href="/facts/Mathematical_logic/SaI7Y3wN">mathematical logic</a>, Heyting arithmetic H A {\displaystyle {\mathsf {HA}}} is an axiomatization of arithmetic in accordance with the philosophy of <a href="/facts/Intuitionism/1gTeosv9">intuitionism</a>. It is named after <a href="/facts/Arend_Heyting/9sIh63gt">Arend Heyting</a>, who first proposed it. </p>