ヘルマン・ワイル
数理論理学の文脈において、"構成的数学"の研究は、可述的体系の研究のような、非古典論理の体系の研究を含む。可述主義の初期の支持者はヘルマン・ワイルである。彼は実解析の大部分を可述的な方法だけを用いて展開できることを示した（Weyl 1918）。