ポーヤの計数定理

組合せ論におけるポーヤの計数定理（ポーヤのけいすうていり、英: Pólya enumeration theorem; 数え上げ定理、枚挙定理）あるいはレッドフィールド–ポーヤの定理 (Redfield–Pólya Theorem) は、集合への群作用の軌道の総数を求めるバーンサイドの補題の極めて一般化するものである。定理が最初に公になるのは1927年のによるものだが、それとは独立にジョージ・ポリア（ポーヤ）が1937年に再発見し、ポーヤはその結果を多くの数え上げ問題、特に化合物の枚挙に適用して大いに普及させた。 ポーヤの計数定理はやに組み込むこともできる。