Three-volume formal system by Russell and Whitehead attempting to ground math in logic.
Mentioned in 1 video
Veritasium
