Predikatlar, kvantorlar va isbot usullari — nazariy asos. Matematik mantiq va to'plamlar nazariyasi — bu Matematika sohasining eng muhim yo'nalishlaridan biri bo'lib, nazariy asos uchun alohida ahamiyat kasb etadi