プリンキピア・マテマティカ
It has been tied to formal mathematics since "Principia Mathematica" to today's proof assistants.