你少了大括号,应该是
P={A∣A∈A },Q={A∣A∉A}
这是描述集合的数学符号
等号左边是被描述(定义)的集合名字
等号右边是被描述集合的内容。
.
大括号表示这是一个集合
大括号的内的内容确定了集合的全部元素
有两种方法确定集合的元素
第一种方法是,枚举所有元素,用逗号隔开
例如:性别={男,女},偶数={0,±2,±4,±6,...}
第二种方法是,用无歧义的语句(谓词)界定全部元素
具体格式是:“x|p(x)”
其中x代表元素,p(x)就是界定x是集合元素的谓词
例如:偶数={x|把x除以2,余数是0}
.
现在可以解释P={A∣A∈A },Q={A∣A∉A}了:
P是一个集合,他的元素A 是集合,符合如下条件:A的元素中包括A自己
Q也是一个集合,他的元素A 是集合,符合如下条件:A的元素中不包括A自己
从逻辑上看P、Q囊括了世间所有集合
可是罗素问:Q究竟属于P还是属于Q自己?
就是这个简单的问题导致了一场空前的数学大危机……
如果你没有逻辑头脑就别再问了,伤脑筋呢