What if Ethics is Provably Self-Contradictory? — LessWrong