数学基礎論・数理論理学　その17 [無断転載禁止]©2ch.net

>>30
いや、それはあるでしょう。
循環定義は定義じゃないことにするなら別だが。