Ответ (2) ↑

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

2.

---

Ни один x' не есть m'.

---

Все m' суть y.

---

(2)

---

(тест)