*Клини Стефен К.*

**Введение в метаматематику**

*перевод с английского А. С. Есенин-Вольпин*

*под редакцией В. А. Успенского*

1957 год

#### Оригинал

<a href="magnet:?dn=19520700-Kleene_S.C.-Vvedenie_v_metamatematiku[1957y][527p]-russian.scans.djvu&xt=urn:ed2k:394dd70b4afe3e3cb22020792c32cf3b&xt=urn:ed2khash:394dd70b4afe3e3cb22020792c32cf3b&xl=8206946">ed2k</a>
&nbsp; &nbsp; &nbsp; 
<a href="magnet:?xt=urn:btih:8fe32699f4221c48ad543708dc8c2622b4d31c56">torrent</a>

#### Замечания по сборке

1. Сборка осуществляется скриптом `build_script`, который использует `xelatex`.
Результат сохраняется в подкаталоге `build`.

2. Перед сборкой убедитесь в наличии всех пакетов, включаемых в файле
`definitions.tex` инструкциями `\usepackage` и `\RequirePackage`.

3. Перед сборкой убедитесь в наличии всех используемых шрифтов, перечисленных в
файле `definitions.tex` в параметрах инструкций `\set*font` и `\newfontfamily`.

#### Замечания по соответствию оригиналу

1. Исправлены замеченные опечатки и ошибки. Эти изменения относительно
оригинала отмечены в исходном коде комментариями под абзацами, в которых
произведены изменения.

2. Восстановлена буква "ё".

3. Для отображения основного текста использован шрифт "Adobe Garamond Premier
Pro", однако в оригинале использовалась гарнитура "Литературная"
(ГОСТ-3489.33-72). Если удастся получить набор всех начертаний гарнитуры
"Литературная", этот недостаток будет исправлен.

4. Обнаружена библиографическая ссылка на работу Лейбница 1666 года, но ни в
библиографии оригинала, ни в библиографии перевода самой этой работы нет.
Данная несправедливость исправлена и в библиографию добавлена работа "Gottfried
Wilhelm von Leibniz - De Arte Combinatoria, Leipzig 1666".

5. Введёны режимы "оригинальной нотации" и "поздней нотации". Дело в том, что нотация оригинала издания в некоторой части устарела и на момент перенабора используется немного другая нотация, менее неоднозначная. Кроме того, при переключении нотации на "позднюю" изменится шрифт начертания содержательных (informal) переменных и формул с `\mathrm` на `\mathtt`. Это связано с тем, что а оригинале шрифт начертания содержательных переменных и формул неотличим от шрифта начертания основного текста, что приводит к тому, что ссылка на формулу (A) и обозначение формулы (A) становятся неотличимы и вызывают неопределённость. Для переключения с оригинальной нотации на позднюю в файле `notation_defs.tex`раскомментируйте строку

```plaintext
%% \def\LaterNotation{1}
```

так чтобы она выглядела как

```plaintext
\def\LaterNotation{1}
```

и пересоберите издание. Полное соответствие оригинальной нотации современной описано в том же файле `notation_defs.tex`.