Bourbaki: A Unified Foundation for Mathematics [video]
youtube.com