о критских брадобреях-лжецах и таких же лордах-англосаксах

[az118]

даром что Russell...

запись

(∀x) (bRx ⇔ ¬xRx) ⇒ (bRb ⇔ ¬bRb)

где R - бинарное отношение,
b - фиксированный элемент из области определения отношения R,
x - переменная из той же области

и, сл-но,

bRx - "b относится к x", а
¬bRx - "b не относится к x",

означает

"из (для любого x)
(b относится к x тогда, и только тогда, когда x не относится к x)
следует
(b относится к b тогда, и только тогда, когда b не относится к b)"

это общая структура парадоксов обширного класса ("Лжец-критянин", "Цирюльник", "Антиномия Рассела" и др.),
очевидно вытекающая из базового условия (∀x) (bRx ⇔ ¬xRx) - "(для любого x) (b относится к x тогда, и только тогда, когда x не относится к x)"

типа

Бог любит всех, кто не любит себя