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. Its goal is to identify as precisely as possible the line that separates those combinations of desiderata that are compatible and those that are not....