証明可能性論理の参考文献の「どこかに不動点を扱うので近い」みたいな理由で様相μ計算の話がチラッと出ていたという記憶の一点で最近触れてみたがどう考えても人間が取り扱えるものではなさすぎる