Аннотация:Показывается что в математике классическое (традиционное) понимание истины как согласованности интеллекта и вещи не применимо. Проблема истинности здесь переходит в плоскость проблемы непротиворечивости базовой системы аксиом и правильности вывода, при решении которой главным вопросом становится вопрос о надежности доказательства.