謎題 | 集合論謎題 | 一個奇怪的集合(羅素悖論) | 提示
在集合論中,你可以透過列出集合的元素(例如 a {\displaystyle a} )以及對它們施加約束(例如 c o n d ( a ) {\displaystyle cond(a)} )來指定一個集合: { a | c o n d ( a ) } {\displaystyle \{a|cond(a)\}} .
現在嘗試用上述符號構建所有不包含自身的集合的集合。如果它存在,所有集合都應該明確地是該集合的元素或不是。否則會導致矛盾。哪個集合最值得考慮?