邏輯悖論
理髮師悖論是一個著名的邏輯悖論，其基本思想是：
有一個理髮師聲明，他只為那些不給自己理髮的人理髮。
如果理髮師不給自己理髮，那麼他屬於「不給自己理髮的人」，根據聲明，他應該給自己理髮。
如果理髮師給自己理髮，那麼他就成了「給自己理髮的人」，根據聲明，他就不應該給自己理髮。
這個悖論展示了自我指涉的邏輯困境，即一個語句或規則在其自身套用的過程中產生了矛盾。理髮師悖論後來被數學家羅素進一步發展，成為集合論中著名的羅素悖論。羅素悖論指出，如果將每個人視為一個集合，其中元素是這個人刮臉的對象，那麼理髮師的聲明就會導致邏輯上的自相矛盾。
如果理髮師給自己刮臉，他就屬於自己刮臉的集合，這與他的聲明相矛盾。
如果理髮師不給自己刮臉，他就屬於不給自己刮臉的集合，根據聲明，他應該給自己刮臉。
這個悖論揭示了某些自指陳述會導致邏輯上的混亂，對於理解數學中的集合論和邏輯有著重要的意義。