集合論
X = {a | ( a ∈ X ) → Y} という集合を考える。いかなるYも真となるため、結果として矛盾を生じる。