Mathematics applied to understand Mathematics
Godel incompleteness theorems
http://us.metamath.org/index.html