存在語句

存在語句是宣告具有給定屬性的物件存在性的陳述。用集合論的語言可以表述如下，

其中 是全集， 是包含在其中的給定集合。換句話說，它表明集合 是非空。