revision preference src: Mathematical logic is a field of mathematics, that tries to formalize logic so that it can be used for mathematics more easily. <SEP> tgt: Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.