[wmspringer]

Note that, while in science a theory is basically a "best guess", in math a theorem is something which has been proved; if the logic of the proof is sound, the theorem can never be disproved.

Edit: Really I should say, if the logic AND the axioms are sound.