Seems reasonable to me that it would be useful to have somewhere on LW a derivation of decision theory, an answer to "why this math rather than some other?"

That's only if the derivation is good. I warned you that you are going to shoot your feet off, if you are not really prepared. Even the classical axiomatizations have some problems with convincing people to trust in them.