2 ms·

A posting on the foundations of mathematics mailing list, a rather nice high-level view I thought. The whole thread is worth a read ...