The dawn of formalized mathematics [video]

(youtube.com)

1 points | by Thom2503 6 hours ago ago