In mathematical logic, Heyting arithmetic is an axiomatization of arithmetic in accordance with the philosophy of intuitionism.[1] It is named after Arend Heyting, who first proposed it.
- ^ Troelstra 1973:18
In mathematical logic, Heyting arithmetic is an axiomatization of arithmetic in accordance with the philosophy of intuitionism.[1] It is named after Arend Heyting, who first proposed it.