第一性原理vs.冗余设计