In mathematical logic, formal theories are studied as mathematical objects.
Hilbert proposed a program at the beginning of the 20th century whose ultimate goal was to show, using mathematical methods, the consistency of mathematics.