Mathematical Logic
500

This branch of mathematics studies systems of axioms and their ability to prove truths within a formal system.

What is proof theory?

M
e
n
u