ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
We discuss a number of examples of theories-cum-axiomatizations where the Löb Conditions fail,but where we still have the Second Incompleteness Theorem. E.g., we provide a Σ⁰₁-axiomatization of Elementary Arithmetic for which the Löb Conditions fail.