Not all theorems can be the BEST theorem. There have been lists of theorems made, but they’re always woefully incomplete. However, in 1931 Gödel added a pair of new theorems to the list, that was essentially about the list itself. “Gödel’s incompleteness theorems” say, among other things, that there are an infinite number of axioms (“true, but unprovable statements”). Extending that idea, we can expect that there should be an infinite number of theorems that relate these axioms to each other and talk about their consequences.