Mathematical logic is a subfield o mathematics splorin the applications o formal logic tae mathematics.