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