創造的集合と生産的集合
生産的集合（せいさんてきしゅうごう、）と創造的集合（そうぞうてきしゅうごう、）とは、自然数の集合の類型であり、数理論理学において重要な応用を持つ。これらはやなどの数理論理学のテキストにおける標準的なトピックである。