Читать «Истина и доказательство» онлайн - страница 14

Из первого раздела мы знаем, что, взяв данный язык как язык-объект, мы можем построить соответствующий метаязык и сформулировать в нём материально адекватную дефиницию истины. Это позволяет нам утверждать, что все предложения, определённые с помощью этой дефиниции, составляют множество истинных предложений. В самом деле, дефиниция утверждает, что некоторым условиям, сформулированным в метаязыке, удовлетворяют все элементы этого множества, то есть все истинные предложения, и причём только эти элементы. Еще более легко можно сформулировать в метаязыке множество доказуемых предложений (дефиниция полностью согласуется с объяснением понятия формального доказательства, которое было дано во втором разделе). Строго говоря, дефиниции как истины, так и доказуемости принадлежат к новой теории, сформулированной в метаязыке и специально предназначенной для изучения формализованного арифметического языка. Новая теория называется метатеорией, или, более точно, метаарифметикой. Мы не будем рассматривать здесь в деталях тот путь, следуя по которому строится метатеория, её аксиомы, неопределяемые термины и т.д. Мы только обращаем внимание на то, что в рамках этой метатеории мы формулируем и решаем проблему, совпадает ли множество доказуемых предложений с множеством истинных предложений.

В нашей работе «Понятие истины в формализованных языках» было показано, что решение проблемы является негативным. Мы дадим здесь очень приближённое описание того метода, с помощью которого было получено это доказательство. Главная идея доказательства тесно связана с той идеей, на которую опирался Гёдель в своей знаменитой статье о неполноте формальных теорий.