Книга А. Гейтинга является монографией по основаниям математики. Вопросы оснований математики (теория математического доказательства,...