ヤブロのパラドックス
次の無限の文のセットを考える:
S_1 : 各i > 1 について、S_iは真でない。
S_2 : 各i > 2 について、S_iは真でない。
S_3 : 各i > 3 について、S_iは真でない。
...