プリンキピア・マテマティカ
1910年-1913年に発表された数学基礎論において記念碑的なラッセルとアルフレッド・ノース・ホワイトヘッドによる三巻からなる作品『プリンキピア・マテマティカ』では階型理論を構築することでパラドックスを構築しようと試みられている: 要素の集合は互いが互いの要素であるよりもむしろ異なる型に属しており(集合は要素ではない; 要素は集合ではない)、「全ての集合の集合」なる概念について述べることはできない。『プリンキピア』は記号論理学においてよく定義された一連の公理と推論規則からすべての数学的真理を引き出そうという試みであった。