 Of course, if formula_1 cannot be well-ordered, then neither can formula_2.One interesting example of sets which cannot carry a group structure is from sets formula_1 with the following two properties