Математична логіка — це галузь математики, яка намагається формалізувати логіку, щоб її було легше використовувати для математики.
Спростіть цей текст: Математична логіка — це підгалузь математики, що досліджує застосування формальної логіки до математики.