| Statement | Theorem | Field |
| Every contraction between metric spaces has a fixed point. | |
| If f is an analytic complex function and $/gamma$ is a closed, rectifiable path homologous to 0, then the integral of f over $/gamma$ is 0 | |
| Nonconstant analytic maps map open sets to open sets. | |
| For three compact compact subspaces of R^3, there is a single plane that bisects all three compact subsets. | |
| Every finitely generated abelian group is isomorphic to a unique direct product of cyclic groups. | |
| Every finite group has at least one p-group for every prime p dividing the order of the group | |
| An infinite collection of first-order sentences has a model iff every finite subset of it has a model | |
| Every bounded sequence has a convergent subsequence. | |
| A subset of R^n is compact iff it is closed and bounded | |
| For any group homomorphism f:G->H, G/ker f is isomorphic to im f. | |
| For sets A and B, if there are injective maps A->B and B->A, then A and B have the same cardinality. | |
| Every complete metric space is a Baire space, and every locally compact Hausdorff space is a Baire Space | |