スマリヤンの決定不能の論理パズル

ゲーデルの定理と様相理論