Una lista pequeña y curiosa de los "~100 teoremas principales" y sus formalizaciones en varios idiomas (con un enlace a cada uno de ellos), aún actualizada
enlace:
154