| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | a | |||
| 001 | Контрольный номер | RU/IS/BASE/468503615 | ||
| 005 | Дата корректировки | 20150513113605.0 | ||
| 020 | a | ISBN | 978-5-8037-0509-3 | |
| 040 | a | Служба первич. каталог. | НБ ТвГУ | |
| b | Код языка каталог. | rus | ||
| e | Правила каталог. | PSBO | ||
| 041 | 0_ | a | Код языка текста | rus |
| 100 | 1_ | a | Автор | Перминов Василий Яковлевич |
| q | Полное имя | Перминов В. Я. | ||
| 245 | 10 | a | Заглавие | Системно-генетическое обоснование непротиворечивости математики |
| 260 | a | Место издания | Москва | |
| b | Издательство | Янус-К | ||
| c | Дата издания | 2011 | ||
| 504 | a | Библиография | Библиогр.: с. 177 (9 назв.) | |
| 520 | a | Аннотация | Статья посвящена системно-генетическому обоснованию непротиворечивости математики. Программы обоснования математики, предложенные в первой половине прошлого века, не увенчались успехом. Оказалось, что в рамках строгого математического рассуждения нельзя обосновать факт непротиворечивости даже самых простых математических теорий, таких как арифметика и евклидова геометрия. | |
| 653 | a | Ключевые слова | Аксиоматика | |
| a | Ключевые слова | Арифметика | ||
| a | Ключевые слова | Геометрия | ||
| a | Ключевые слова | Логика | ||
| a | Ключевые слова | Математика | ||
| a | Ключевые слова | Математическая теория | ||
| a | Ключевые слова | Системно-генетическое обоснование | ||
| 773 | 08 | w | Контрольный № источника | RU\NSU\books\136727 |
| t | Название источника | Историко-математические исследования | ||
| d | Место и дата издания | Москва : Янус-К, 2011 | ||
| g | Прочая информация | С. 152-177 | ||
| 901 | t | Тип документа | a | |
| 920 | a | Оператор | Кома |