Ushbu taqdimot "Formal aksiomatik nazariya. Mulohazalar hisobi" mavzusini o'z ichiga oladi. Unda nazariyaning asosiy tushunchalari, aksiomalar va aksiomalar tizimi, shuningdek, matematik mantiq va deduksiya kabi mavzular yoritilgan