構成主義 (数学)
レオポルト・クロネッカー(古い構成主義、準直観主義)
ライツェン・エヒベルトゥス・ヤン・ブラウワー(直観主義の創始者)
A. A. Markov (ロシアの構成主義の学校の始祖)
アレン・ハイティング(直観主義論理と直観主義理論の定式化)
ペール・マルティン=レーフ(構成的型論理の創始者)
Errett Bishop (古典主義との無矛盾性を主張する構成主義を推進)
パウル・ローレンツェン(構成的解析を開発)
Martin Hyland (実現可能性における効果的トポス(英語版) の発見)