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