Н. И. Стяжкин. Формирование математической логики