流れに乗って質問です。ゲーデル不完全性定理の証明で出てくるような
逆説的自己参照現象を適用系(applicative system)と呼ぶそう
ですけど、ゲーデル以外に具体的にどういった適用系の例があるの
ですか？