Можно получить больше результатов путем настройки запроса поиска.

• Fuzzy-поиск может выбирать теримины с похожими произношениями: Основания математики: Теория доказательств~.
• Добавление метасимвола замены может позволить выбирать варианты слов: Основания математики: Теория доказательств*.