Assertion: propositional logic | /r/HasProperty | system
Facets:
Source sentences:
text: Provability logics are systems where the propositional variables \(p, q, r\), etc. range over formulas of some mathematical system, for example Peano’s system \(\mathbf{PA}\) for arithmetic.