| |||
|
|
это всё какой-то обидный оверкилл, если кому-то интересно моё мнение формальные доказательства компактности перпендикулярны, что видно даже и по формулировке, а доказательство через "конструкции Хенкина" по-моему никто, кроме логиков, читать не будет (да и сами они, если честно, не очень читают) Добавить комментарий: |
||||