Mathematical Foundations for Design