Логика предикатов

[Профессор Снэйп]

_hum_ в сообщении #552603 писал(а):

Единица выражается как решение (единственное в $\mathbb{N}$) уравнения $x^2 = x$. Нет?

А, ну да, есть такое.