レーブの定理

3行要約

1. 数理論理学において、自己言及的な証明可能性に関する性質を述べた定理である。
2. 「Pが証明可能ならばPである」が証明可能なら、P自体が証明可能であると説く。
3. ゲーデルの不完全性定理と密接に関連し、証明可能性論理の基礎をなす。