谜题 | 集合论谜题 | 一个奇怪的集合(罗素悖论) | 提示
在集合论中,你可以通过列出集合的元素(例如 a {\displaystyle a} )以及对它们施加约束(例如 c o n d ( a ) {\displaystyle cond(a)} )来指定一个集合: { a | c o n d ( a ) } {\displaystyle \{a|cond(a)\}} .
现在尝试用上述符号构建所有不包含自身的集合的集合。如果它存在,所有集合都应该明确地是该集合的元素或不是。否则会导致矛盾。哪个集合最值得考虑?