Kevin Buzzard on formalisation of mathematics

---

Скачать клип Kevin Buzzard on formalisation of mathematics