Georg Cantor
著書『連続体論』("The Continuum") において、ワイルはバートランド・ラッセルの型理論を用いて非可述的な論理を構築した。彼は古典的な代数学のほとんどを、排中律や背理法、ゲオルク・カントールの無限集合を用いずに構築することに成功した。ワイルの思想はこの頃、ドイツのロマン主義者・主観的観念論者であったヨハン・ゴットリープ・フィヒテの急進的な構造主義の影響を受けている。