(mathematics) A structural principle of mathematical logic that states that the hypotheses of any derived fact may be freely extended with additional assumptions
(математика) Структурный принцип математической логики, утверждающий, что гипотезы любого производного факта могут быть свободно расширены дополнительными допущениями