Предмет и метод современной логики

Современная Л. развилась в точную науку, применяющую математические методы. Она стала, по словам Порецкого, математической логикой — Л. по предмету, математикой по методу. В этом качестве Л. стала пригодной для правильной постановки и решения логических проблем математики, в особенности проблем, связанных с доказуемостью и недоказуемостью тех или иных положений математических теорий.