ゲーデルの不完全性定理
ホフスタッターは、不思議の環の考え方を説明する例として、バッハの『トノスのカノン』、M・C・エッシャーの『滝』、『描く手』、『上昇と下降』、そして嘘つきのパラドックスを挙げているが、これはゲーデルの不完全性定理の証明で完全に表現されている。