Ushbu material diskret matematika va matematik mantiq fanidan "Predikatlar hisobining aksiomalari sistemasi" mavzusiga bag'ishlangan bo'lib, yechilish muammosi, predikatlar algebrasining matematikaga tatbiqi, aksiomatik predikatlar hisobi va misollar yechishni o'z ichiga oladi