jsalvatier comments on Learning the foundations of math

[jsalvatier]

This video turned out to be very interesting (to my naive eyes anyway). It also gives a nice description of formal theories.