Как философия Бертрана Рассела повлияла на развитие математической логики?

Философия Бертрана Рассела оказала значительное влияние на развитие математической логики. en.wikipedia.org

В работе «Принципы математики» (1903) Рассел представил свою теорию типов, которая стала одним из основных оснований для развития математической логики. ai.spravochnick.ru Для этой цели он предложил разделение сущностей на логические типы. www.sibran.ru

Также Рассел систематизировал и развил дедуктивно-аксиоматическое построение логики в трёхтомном труде «Principia Mathematica» (в соавторстве с А. Уайтхедом). vk.com Этот труд содержит точную формулировку логики и подробное доказательство того, что теоремы чистой математики следуют из принципов логики, а понятия математики могут быть определены в терминах логики. vk.com

Кроме того, работа Рассела привела к созданию современной аксиоматической теории множеств. en.wikipedia.org