Modus Ponens is an interesting beast, from a metalogical point of view. All argument and propositional logic depends upon MP, because every argument implies the following assumption:
If {set of propositions P} are all true, then {conclusion Q} is true
P are all true.
Therefore, Q is true.
As a result of this feature of logical argumentation it is impossible to prove that Modus Ponens is itself valid. Therefore our most important rule of inference is one we use just because it intuitively seems right.