Математическая формализация институтовстатья