Автоматическое образование гипотез. Математические основы общей теории