Лекция 1. Исчисление с конечным числом аксиом и с правилом подстановки