純粋・応用数学・数学隣接分野（含むガロア理論）12

338 ：わかるすうがく 近谷蒙 ：2023/01/03(火) 09:58:06.66 ID:b5Fu+qY0.net

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

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