Amaliy matematika va informatika

bu yerda - qo’llash sharti, masalada noma’lum mavjudligini isbotlanishni qurishga olib boradi.

Ikkinchi bosqich. haqiqiy ifoda uchun qandaydir mavjud f funksiya masala yechimi isbotiga olib keladi. Formal ko’rinishda

(1)

Bu munosabatni isbotlash uchun quyidagi chiqarish qoidalari kiritiladi:

(1) , bu yerda select – qiymatlari to’plamidan qiymatlarini tanlash funksiya-selektori;