logicism: (philosophy) the philosophical theory that all of mathematics can be derived from formal logic
ruggedization: the act of making a piece of equipment rugged (strengthening to resist wear or abuse)