嘘つきパラドックス
クワイン版
「を二度繰り返した文章はウソであるを二度繰り返した文章はウソである」
ベリー版
「○○○○○○○○○○○○○○○の二倍の長さの文章はウソである」
ヤブロ版
S0「S1はウソである」
S1「S2はウソである」
S2「S3はウソである」
…
Sn「S_n+1はウソである」
…

「はウソである」を「は証明できぬ」と置き換えると、ゲーデル文