So, I was talking to my wife 🙂 about ethics and the types of ethics. She told me that there is this form called consequential ethics and deontological ethics. And there are I’m sure a bunch more. But, what I have discovered is that they each have a set of axioms and from these they base all of there conclusions. However, I believe that we here are encountering a similar problem as Godel’s incompleteness theorem. Basically, a complete and consistent set of axioms for all ethics is impossible.
http://philosophy.stackexchange.com/questions/31726/can-g%C3%B6dels-incompleteness-theorems-be-applied-to-ethics is a link I just found and he references Tarski’s undefinability theorem.