An axiomatic investigation of provability as a primitive predicate