Ответ (2) ↑

bavi 25 марта 2016, 15:06 в посте Metapractice (оригинал в ЖЖ)

2.
Ни один x' не есть m'.
Все m' суть y.

(2)

(тест)