Interesting finite-cardinality theorems 

What are the most interesting results in mathematics that say there are only finitely many of something?
Examples:


*

*If it's ever shown that there are only finitely many twin primes, that would fit here.

*The compactness theorem for first-order logic is an example.  Suppose $S$ is a set of first-order sentences.  Suppose $\varphi$ is a first-order sentence that is true in every structure in which every sentence in $S$ is true.  Then for some finite $S_0\subseteq S$, $\varphi$ is true in every structure in which every sentence in $S_0$ is true.

*The Robertson–Seymour theorem is an example.  If a class of finite graphs is closed under taking minors, then it is equal to the class of graphs that have no minor isomorphic to any of the members of a set of "forbidden minors".  The theorem says that that set is always finite.  (Among such classes of graphs are planar graphs, outer-planar graphs (embeddable in a plane with all vertices on a circle), graphs knotlessly embedable in $\mathbb R^3$, and graphs linklessly embedable in $\mathbb R^3$.  In some cases, finding the finite set of forbidden minors is challenging.

*The Borel–Cantelli lemma considers an infinite sequence $E_1, E_2, E_3, \ldots$ of events in a probability space.  It says that if $\Pr(E_1)+\Pr(E_2)+\Pr(E_3)+\cdots<\infty$ then only finitely many of $E_1, E_2, E_3, \ldots$ occur. (Or maybe more precisely,: the probability that only finitely many occur is $1$.  The set of outcomes for which infnitely many of the events occur may be non-empty, but its measure is $0$.)


PS: Maybe two different sorts of results can fit here:


*

*Results that say, for example, exactly eleven of something exist, and maybe lists them.  For example, there are only five regular polyhedra, and we all know which five.  If only finitely many twin primes exist, then perhaps a theorem would say exactly which ones they are.

*Results that say that something must in every instance be finite, but do not and cannot give a finite upper bound.  The The Borel–Cantelli lemma is of that sort.  Even specifying which events are in the sequence and what their probabilities are does not make it possible to give a finite upper bound.  The compactness theorems of logic are also of that sort.  And maybe I should have mentioned compactness theorems of topology?  Tychonoff's theorem,  maybe?  The Robertson–Seymour theorem in general is of that sort, but some of its concrete instances are substantial theorems in their own right.  The one that says planar graphs are those that exclude two specified forbidden minors.  I seem to recall a simple example in which their were something like 30 forbidden minors – maybe it was triangulations of a torus or something like that.

*Maybe in some cases the question of whether an example is of the first kind or the second might itself be a hard problem.


Despite my inclusion of the first bullet point above, somehow I hesitate to include uniqueness theorems in general.  There are zillions of those, and I don't think anyone would want to compile a comprehensive list of uniqueness theorems in mathematics unless maybe they're creating a reference book.
 A: A beautiful one, from the theory of quadratic forms: 
A quadratic form is simply a homogeneous polynomial of degree two in several variables, so it has the form 
 $$f(x_1,\dots,x_n)=\sum_{i=1}^n \sum_{j=1}^i a_{ij}x_ix_j, $$ and we associate to it the symmetric matrix
$A=(b_{ij})_{i,j=1}^n$ where $b_{ii}=a_{ii}$ for all $i$, and $b_{ij}=b_{ji}=a_{ij}/2$ for $j<i$. The matrix is integral iff all the $b_{ij}$ are integers, and the form is positive definite iff $f(\mathbf x)>0$ for all vectors $\mathbf x\ne0$. 
That the form represents an integer $k$ means that there are integers $x_1,\dots,x_n$ such that $f(x_1,\dots,x_n)=k$.
The $\mathbf {15}$ theorem of J. H. Conway and W. A. Schneeberger, from $1993$, says that if a positive definite quadratic form (in any number of variables) with integral matrix represents the numbers 
$$ 1, 2, 3, 5, 6, 7, 10, 14, 15, $$ 
then it represents every positive integer. 
An example is the form $x^2+y^2+z^2+w^2$. (That it represents every positive integer is Lagrange's four squares theorem.) 
When we replace the requirement that the matrix is integer valued with the more general requirement that $f(x_1,\dots,x_n)$ is an integer whenever the $x_i$ are integers, the corresponding result is the $\mathbf{290}$ theorem of M. Bhargava and J. P. Hanke, from $2005$, that states that such a form represents all positive integers iff it represents $$ 1, 2, 3, 5, 6, 7, 10, 13, 14, 15, 17, 19, 21, 22, 23, 26, 29, 30, 31, 34, 35, 37, 42, 58, 93, 110, 145, 203, 290. $$ 
Unfortunately, the paper by Bhargava and Hanke never appeared, though detailed sketches are available. Wikipedia has additional details on these results. For a recent extension, see Quadratic forms representing all odd positive integers, by J. Rouse.
This question has further references. 
A: Gitik and Shelah have shown the following: If $\kappa \leq 2^{\omega}$ is real valued measurable (or even quasi measurable), then the set of infinite cardinals below $\kappa$ can be partitioned into finitely many intervals on which the function $\lambda \rightarrow 2^{\lambda}$ is constant.
For each $n \geq 1$, they also constructed model where the number of these intervals is $n$. The reference is: More on simple forcing notions and forcing with ideals, Annals of Pure and Applied Logic 59 (1993) 219-238, DOI: 10.1016/0168-0072(93)90094-T.
A: This result in Universal Algebra is an obvious one but I find it very useful (and often used) in many branches of Algebra:
Let $A,B,C$ be algebras over a signature $\Omega$. Let $f:A\rightarrow C$ and $g:A\rightarrow B$ be epimorphisms such that $\ker g\subset\ker f$. Then there exist exactly one homomorphism $\bar{f}:B\rightarrow C$ such that $\bar{f}g=f$.
A related results in Algebra (theory of groups, rings, modules...) are better known as Isomorphism Theorems.
One more, rather obvious but useful, construction: 
Let $X$ be a set and $f:X\rightarrow A$ a (set theoretic) function into the $\Omega$-algebra $A$. Then there exists exactly one homomorphic extension $\bar{f}:F_\Omega(X)\rightarrow A$ of the function $f$.
Again, the uniqueness of the homomorphic extension is rather obvious, but the whole construction is of great importance. 
