Unifying theories in mathematics

There have been several attempts in history to reach a unified theory of mathematics. Some of the most respected mathematicians in the academia have expressed views that the whole subject should be fitted into one theory (examples include Hilbert's program and Langlands program).