https://en.wikipedia.org/wiki/Proof_theory is pretty much about this.