Russell’s Paradox

집합론의 언어 집합론의 언어 $\mathcal{L}$이란 일차술어논리(FOPC; first order predicate calculus)에 이항관계기호 ‘∈’이 추가된 것이다. 여기서 이항관계기호 ‘∈’는 집합(set)이라고 불리는 두 대상 $x$와 $X$ 사이의 ‘원소 관계’ $x\in X$를 나타낸다. 이로써 언어 $\mathcal{L}$은 다음과 같은 기호로 구성된 언어이다. 논리외적기호 ‘∈’ 논리기호 ‘∧’, ‘∨’, ‘￢’, ‘→’, ‘∀’, ‘∃’, ‘＝’ 괄호 ‘(’, ‘)’ …