This branch of mathematics studies systems of axioms and their ability to prove truths within a formal system.
What is proof theory?