Axiomatizing provable \(n\)-provability
scientific article; zbMATH DE number 7036528