Let con(ZFC) be a sentence in ZFC asserting that ZFC has an omega-model.Let S be the theory ZFC+con(ZFC). Is the reflection for S: Bew_{S}(A) --> A is satisfied?
Reflection principles
Jaykov Foukzon
- 157
- 1
- 7