摘要:We generalize the standard revealed-preference exercise in economics, and prove a sufficient condition under which the revealed-preference formulation of an economic theory has universal implications, and when these implications can be recursively enumerated. We apply our theorem to two theories of group behavior: the theory of group preference and of Nash equilibrium.