Stav dette: Subʺektno-predikatnye modeli obosnovaniĭ tezisov /