相関牽引

分類記号	分類名	相関索引
410.9	集合論．数学基礎論	数学基礎論

分類名 パターンマッチ

分類記号	分類名
410.9	集合論．数学基礎論