Egzistavimo predikatas

Egzistavimo predikatas apibrėžiamas predikatas išreiškiantis savybę būti tokiu x, kuriam egzistuoja kažkoks y, kuriam x yra tapatus. Formaliai tai išreiškiama naudojant lambda termus: λx. ∃y(x = y). Šia savybe pasižymi būtent tie objektai, kurie egzistuoja.