1. No category

モデル理論アプローチにおける結合システムの 形式モデル