Чтобы сделать возможным точное рассмотрение доказательств, им придается единая, точно определенная форма. Это осуществляется с ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Виноградов И.М.
Математическая энциклопедия Том 5
Чтобы сделать возможным точное рассмотрение доказательств, им придается единая, точно определенная форма. Это осуществляется с помощью формализации теорий: утверждения теории заменяются конечными последовательностями определенных знаков, а логич.
