Доказанное утверждение, принимаемое без доказательства как основа для других утверждений. 7 букв
Вспомогательное утверждение, служащее для доказательства других теорем 5 букв
Математическое или логическое утверждение, которое принимается без доказательства и используется как основа для построения других утверждений и выводов 7 букв