liste sympa des "~100 meilleurs théorèmes" et leurs formalismes dans diverses langues (avec un lien vers chacun d'eux), toujours à jour
lien:
145