Jabarkan adalah pernyataan (benar) dari Kuantifikasi eksistensial

Untuk beberapa bilangan asli n, n·n = 25.

Demikian pula, jika Q(n) adalah predikat "n genap", maka

Untuk beberapa bilangan asli n, n genap dan n·n = 25.

Dalam matematika, bukti dari pernyataan "beberapa" dapat dicapai baik dengan bukti konstruktif, yang menunjukkan objek yang memenuhi pernyataan "beberapa", atau dengan bukti nonkonstruktif, yang menunjukkan bahwa pasti ada benda seperti itu tetapi tanpa memamerkannya.