構成主義 (数学)
構成的数学への応用は、型付きラムダ計算、トポス理論、圏論的論理学(英語版)にも見られ、これらは基礎的な数学や計算機科学の注目すべき主題である。代数学では、トポスやホップ代数といったテーマに対して、その構造は構成的理論であるという内的言語(英語版)(internal language)を支持している。そうした言語内で扱うことは、可能な具体的代数の集合やその準同型について推論するといった手段で外的に扱うよりも、しばしば直観的かつ柔軟である。
物理学者リー・スモーリンは Three Roads to Quantum Gravity の中で以下のように著している:トポス理論は「宇宙論の正しい形式の論理」である(30ページ)、「『直観論理』と呼ばれる、その最初の形式において」(31ページ)、「この種の論理では、観測者が宇宙に関して主張できることは少なくとも3つのグループに分けられる:真と判断できるもの、偽と判断できるもの、そして現時点でその真偽を判断できないものである。」(28ページ)