Problem set

證明這問題是NP完備，我們可以很簡單的將獨立頂點集問題（英语：Independent set problem）(Independent set problem)歸約成這個問題。因為存在一個大小是k以上的分團，等價於它的補圖中存在一個大小是k以上的獨立集。

-dense sets are order-isomorphic is independent of ZFC. 蘇斯林問題（Suslin's problem）提出一個指定的特性列表能否刻画一個實數R的有序集合。這是在ZFC中未決的。 一条 Suslin line

集合覆盖问题（ Set covering problem，SCP）是组合数学、计算机科学和计算复杂性理论中的一个经典问题。 集合覆盖的决定性问题是卡普的二十一个NP-完全问题之一。 给定全集 U {\displaystyle {\mathcal {U}}} ，以及一个包含 n {\displaystyle

principle solves the Whitehead problem by implying that every Whitehead group is free. 哥德爾定理 哥德爾完備性定理 ZFC公理體系（英语：Zermelo-Fraenkel Set Theory） ZFC系統無法確定的命題列表 Akemann

Lectures on Boolean Algebras. Van Nostrand. 1967年 《希爾伯特空間問題集》 A Hilbert Space Problem Book. Springer-Verlag. 1973年 (與 Norman E. Steenrod 、 Menahem M. Schiffer