Abstract
Many authors in the discipline as well as outsiders have claimed that the main results from Mathematical Economics are far removed from real world phenomena. A more precise version of this position is that one of the main reasons for this unrealistic stance is the use of the wrong formal tools. So, for example, it has been pointed out that the computability of choice functions as well as the existence of economic equilibria and of states of the world may not be ensured in general if the assumed set theory is ZFC. We will show that there exists a very natural set theory that overcomes some formal limitations of contemporary economic theory. A switch to an alternative set theory helps to obtain in a more natural way results widely accepted by mathematical economists. Moreover, alternative set-theoretical frameworks convey different intuitions about how agents behave when solving problems. We claim that AFA−+AD+DC is the adequate alternative set-theoretical universe for economic theory