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