Доказывается, что в элементарной теории полурешеток частичныхпорядков на множествах интерпретируется логика второго порядка. Библиогр.~2.