ロッサーの定理

3行要約

1. ゲーデルの不完全性定理を、より弱い前提条件で証明し直した論理学の定理である。
2. 体系が単に矛盾していない（無矛盾）だけで不完全であることを示した。
3. ロッサー文と呼ばれる自己言及的な命題を用いることで証明を一般化した。