Heyting arithmetic

(布尔代数) 特征函数 紧致性定理 完全布尔代数 德·摩根 德·摩根定律 对偶性 (序理论) 实体图 存在图 一阶逻辑 形式系统 自由布尔代数 Heyting代数 指示函数 内部代数 威廉姆·斯坦利·杰文斯 Johnston图 卡诺图 形式定律 Lindenbaum–Tarski代数 逻辑门 逻辑连结词

公理仍被深入研究，而當中應用的是非古典逻辑。在构造性数学的不同版本中，选择公理的狀況也有所差別。 在直觉类型论和高阶的Heyting算术（英语：Heyting arithmetic）中，选择公理的適當陳述（按照推導方式）可以是作為一个公理，又或者作為一个可证明的定理。埃里特‧畢夏普（英语：Errett

Concept Script, a formal language of pure thought modelled upon that of arithmetic, by S. Bauer-Mengelberg in Jean Van Heijenoort, ed., 1967. From Frege

Peano's writings in English translation 1889. "The principles of arithmetic, presented by a new method" in Jean van Heijenoort（英语：Jean van Heijenoort）

价值逻辑 道义逻辑 信念逻辑（英语：Doxastic logic） 认识逻辑 时间逻辑 直觉主义 直觉主义逻辑 结构分析 Heyting算术（英语：Heyting arithmetic） 直觉类型论 建構式集合論（英语：Constructive set theory） 模糊逻辑 真实性程度（英语：Degree