Существование (англ. existence, нем. Existenz) — одно из ключевых понятий математики и философии. Существование элемента множества, удовлетворяющего данному предикату