The problem with trying to get to a elegant set of moral axioms is that human morality is a product of multiple conflicting and contradictory goals compiled and

The problem with trying to get to a elegant set of moral axioms is that human morality is a product of multiple conflicting and contradictory goals compiled and obfuscated by evolution, a mother of all one-way optimization processes. Confound it with the fact that most of those goals are not of individuals but of genes and of gene groups. We are mere executors in that regard. At best you could distill down to multiple separate self-consistent trees of moral rules and model individual humans as sets of weights for those.