ヤブロのパラドックス
S_nが真となるようなnがあるとする。
その場合、 S_n+1は真ではないため、 S_kが真となるような k > n+1 が存在する。
しかし、 S_nが真で k > n であるため、S_kは真ではない。
S_nが真であると仮定すると、S_kが真であると同時に真でない、という矛盾が生じる。
したがって、私たちの仮定はばかげており、各iに対して、文S_iは真ではない。
しかし、それぞれのS_iが真でない場合、それぞれが後の文に偽りを与えることを考えると、それらはすべて真である。
したがって、ヤブロのリストの各文は真であり、真ではないというパラドックスを得る。