Математическая логика в широком смысле рассматривается как математизированная ветвь формальной логики[5] — «логика по предмету, математика по методу»[6], «логика, развиваемая с помощью математических методов»[7].