Conditions are given which
characterize the class of groups with free nonabelian subgroups. It is also shown that
a generalization of the conditions characterize the class of nonamenab# e groups.
Neither of these two (possibly identical) classes of groups is the class of models of any
finite set of first-order axioms.