著書『連続体論』("the continuum")において、ワイルはバートランド・ラッセルの型理論を用いて非可述的な論理を構築した。