Finite and infinite complexity in axioms of rational choice or Sen's characterization of preference-compatibility cannot be improved