This textbook is Volume 1 of a two-volume set on the axiomatics of economic design. Its central argument is that economic institutions are not God-given: they are man-made. Their ultimate goal is to promote social welfare. The book describes the axiomatic approach to design. It consists in the formulation of criteria of desirability of solution mappings, and of the examination of their logical implications when imposed in various combinations...