---
tag: SBMQ5QHG9W
kind: concept
name: Henkin sentence
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section H
    note: adopted
    mention: wikipedia://en/76765067#D9RC
    sections: [Summary]
inventory: [2ZNFRDAF8J]
---

## Summary

A sentence that asserts its own provability, possibly by applying the provability predicate to itself.