---
tag: NB2BCZR40F
kind: concept
name: Provability predicate
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section P
    note: adopted
    mention: wikipedia://en/76765067#O2L8
    sections: [Summary]
inventory: [808MBHW2M1]
---

## Summary

A predicate, often called "Bew", that expresses the concept of a statement being provable within a given formal system.