Գրեք սա: Теория предикативности :