3.17. Робот ошибается и робот "имеет в виду"?

Важнейший вопрос из тех, с какими нам предстоит разобраться на данном этапе, звучит так: готов ли робот безоговорочно согласиться с тем, что - при условии его построения в соответствии с некоторым набором механизмов М - формальная система Q (M) корректным образом включает в себя всю систему его математических убеждений в отношении -высказываний (равно как и с соответствующим предположением для системы ? Такое согласие подразумевает, прежде всего, что робот верит в обоснованность системы Q (М), - т. е. в то, что все -высказывания, являющиеся -утверждениями, действительно истинны. Наши рассуждения требуют также, чтобы всякое -высказывание, в истинность которого робот в состоянии безоговорочно поверить, являлось непременно теоремой системы (т. е. чтобы в рамках системы робот мог