Comments 6
+4
Ох, зачем же вы код вставляете картинкой? Вставляйте текст, используйте разметку:
```python
import antigravity
```
Результат:
import antigravity
+4
Спасибо. Учту на будущее.… Но статья о логике.… И выводы по ней такие.…
Система, утверждения которых нельзя ни доказать, ни опровергнуть средствами самой теории, называется неполной. Наоборот, система называется полной, если в ней доказывается либо F, либо доказывается его отрицание. А поскольку тождественно ложные формулы исключены из доказательств, то и выразить то, что ими описывается, не представляется возможным. … Так в классическом представлении приходят к выводам о неизбежности недоказуемого в непротиворечивой системе.
Система, утверждения которых нельзя ни доказать, ни опровергнуть средствами самой теории, называется неполной. Наоборот, система называется полной, если в ней доказывается либо F, либо доказывается его отрицание. А поскольку тождественно ложные формулы исключены из доказательств, то и выразить то, что ими описывается, не представляется возможным. … Так в классическом представлении приходят к выводам о неизбежности недоказуемого в непротиворечивой системе.
-4
Sign up to leave a comment.
Есть и нет