Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion