Amaliy matematika va informatika

bu yerda - mavjudlik kvantori; - qo’shimcha masala; - funksional o’zgaruvchi.

Demak, dasturni strukturali sintez qilish usulida har bir aniq masala sharti faqat masala ma’lumotlari isbotlanishi kerak bo’lgan maxsus deduktiv tizimlarni beradi.

Bu bir cheklangan shakldagi aksiomalarni qaralayotgan maxsus nazariyalarda ishlatadi