En snygg liten lista över "~Topp 100 satser" och deras formaliseringar på olika språk (med länk till var och en av dem), fortfarande uppdaterad
länk:
176