I think (1) is a tenuous assumption as well, especially in some formalizations. Cardinal utility (the idea that it makes sense to say "I want X lambda times as

I think (1) is a tenuous assumption as well, especially in some formalizations. Cardinal utility (the idea that it makes sense to say "I want X lambda times as much as I want Y") is almost certainly bunk. Even assuming a total ordering seems unlikely.