Très intéressant : la liste des théorèmes célèbres, avec des liens sur leur énoncé et leur démonstration.