1. カテゴリーなし

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