学習とコミュニケーションの階型論
階型理論
ラッセルのパラドックス