| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | b | |||
| 001 | Контрольный номер | RU/IS/BASE/489075446 | ||
| 005 | Дата корректировки | 20220905145146.6 | ||
| 008 | Кодируемые данные | 20150701 | ||
| 040 | b | Код языка каталог. | rus | |
| e | Правила каталог. | PSBO | ||
| 041 | 0_ | a | Код языка текста | rus |
| 084 | a | Индекс другой классификации/Индекс ББК | 22.12 | |
| 100 | 1_ | a | Автор | Бессонов А. В. |
| 245 | 10 | a | Заглавие | О двух неверных догмах, связанных со второй теоремой Гёделя о неполноте арифметики |
| n | Номер части/ раздела | I | ||
| 504 | a | Библиография | Лит. в примеч. в конце статьи | |
| 520 | a | Аннотация | Показано, что гёделево доказательство второй теоремы о неполноте фомальной арифметики зависит от избранного им предиката доказуемости. С использованием предиката недоказуемости строятся контрпримеры ко второй теореме, из чего следует, что в общем случае вывод второй теоремы не является верным. | |
| 650 | a | Основная рубрика | математика | |
| a | Основная рубрика | математическая логика | ||
| 653 | 1_ | a | Ключевые слова | логика |
| a | Ключевые слова | логика науки | ||
| a | Ключевые слова | предикат доказуемости | ||
| a | Ключевые слова | предикат недоказуемости | ||
| a | Ключевые слова | Геделя теорема о неполноте | ||
| a | Ключевые слова | философия математики | ||
| a | Ключевые слова | философия науки | ||
| a | Ключевые слова | формальная арифметика | ||
| a | Ключевые слова | формальная система | ||
| 773 | 0_ | t | Заглавие источника | Философия науки |
| d | Дата издания источника | 2014 | ||
| g | Прочая информация | № 4 (63). - С. 12 - 31 | ||
| w | Контрольный № источника | RU/IS/BASE/475867008 | ||
| 901 | t | Тип документа | b |