  The subject of these short lecture notes is a recently emerging area within
proof theory, called \emph{Universal Proof Theory}. Here one is concerned with
the existence and nonexistence of good (or useful or applicable or ...) proof
systems.
