リシャールのパラドックス

3行要約

1. 数学的に定義可能な実数の集合を巡る、自己参照的な論理的逆説。
2. 「定義可能な実数のリスト」から新しい実数を作ると矛盾が生じる。
3. ゲーデルの不完全性定理の証明における着想の源泉の一つとなった。