# Is it compatible with ZF to assume that every amenable discrete group is finite?

The question is in the title, amenability being understood as the existence of a left-invariant finitely additive probability measure on the group of interest. The case of countable groups is treated here :

How to construct a continuous finite additive measure on the natural numbers

Other elements also appear there :

Amenability and ultrafilters