存在性定理 编辑
存在性定理在数学中是指一类以“存在……”开头的定理的总称。有时前面也会加上一些限定，比如说“对于所有的……，存在……”。形式上来说，存在性定理是指在定理的命题叙述中涉及存在量词的定理。实际中，许多存在性定理并不会明确地用到“存在”这个字眼，比如说“正弦函数是连续函数的。”这个定理中并没有出现“存在”一词，但仍是一个存在性定理。因为“连续性”的定义是一个存在性的定义。
3
相关
维塔利集合是一个勒贝格测度的集合的例子，以朱塞佩·维塔利命名。维塔利定理就是关于这种集合存在与否的存在性定理，它是一个非构造性的结果。维塔利集合有无穷多个，它们的存在性是在选择公理的假设下证明的。