Привожу ещё один фрагмент из "Азбуки математической логики" Геннадия Прокопьевича Мельникова, который тогда ещё не был доктором и членом РАН, а был только к.т.н. Эта книга издана в 1967, М. "Знание". Получается, что ей ровно 40 лет... Ой, боже мой! Не верю! 50 лет назад!

ЛОГИКА И МАТЕМАТИКА

СУЩНОСТЬ НЕКОТОРЫХ РАЗДЕЛОВ МАТЕМАТИКИ