Heyting arithmetic
id:
heyting-arithmetic-166-13686937
title:
Heyting arithmetic
text:
In mathematical logic, Heyting arithmetic H A is an axiomatization of arithmetic in accordance with the philosophy of intuitionism. It is named after Arend Heyting, who first proposed it.
brand slug:
wiki
category slug:
encyclopedia
description:
Axiomatization of arithmetic
original url:
https://en.wikipedia.org/wiki/Heyting_arithmetic
date created:
2005-08-26T17:05:40Z
date modified:
2024-08-30T11:59:29Z
main entity:
{"identifier":"Q5548813","url":"https://www.wikidata.org/entity/Q5548813"}
image:
fields total:
13
integrity:
15