Provability Logic: A modal logical framework that formalises the concept of provability within mathematical systems, thereby linking proof theory and modal semantics.