The math in the original 1998 PageRank paper might not be mathematically 100% sound, but why would they need that in the first place? Do you really think you need a formal analysis before you build something? This is not academia, you know - if you need a formal proof of everything you do, you'd never get anything done.

Besides, the paper you're referring to is 13 years old. Why drag it up now?