О предикатных и операторных вариантах построения теорий конструктивной математикистатья