hi Kuresu,
As a matter of interest the link below gives a proof that 2+2=4. It involves 2109 subtheorems, apparently!
http://au.metamath.org/mpegif/mmset.html#trivia
I agree that maths is not science. If scientists were to attempt this kind of formal proof of a hypothesis we would say that science had become maths rather than vice versa.
Mick
Edited by mick, : No reason given.