ゲーデルの不完全性定理

リシャールのパラドックス：無限の小数と「対角線論法」が引き起こす矛盾