This is an expository talk with many examples. It centers around Polya's fundamental theorem of enumeration, de Bruijn's generalization and their applications to finite mathematics (graphs, combinatorics, finite fields, ... ).