Beyond RLHF and NLHF: Population-Proportional Alignment under an Axiomatic Framework