теория( доказательств) — теория, к-рая занимается изучением различных свойств формальных систем и исчислений непротиворечивость( полнота и др.). Термин "М." введен Гильбертом в связи с его концепцией обоснования математики (Формализм). За последние годы в этой области получен ряд важных результатов теорема( Гёделя о неполноте формальной арифметики и о невозможности доказательства непротиворечивости системы с помощью средств, формализуемых в этой системе, и др.).
|
