Запишите следующее высказывание на языке логики предикатов:
"Существует не более одного такого 𝑥xx, что 𝑃(𝑥)P(x)P(x)".

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.