Morals pretty much have to be mathematical axioms, since they have no physical structure and can only be described using various forms of propositional logic. Proving morality is the same type of endevor as proving that 1+1 must equal 2, it sounds simple but is in no way trivial, the opposite...