The theorem's conclusion (no function satisfies all conditions) only obtains given ordinal preferenc...
This proposition has not been edited since the history system was added.