Cтраница 4
Система позволяет использовать сокращения для ссылки на определенные действия. Вместо команд УСТРАНИТЬ, BEPHYTbJV, ИЗМЕНИТЬ TV эксперт может набрать VN, BJV, № V, где N - номер предложения в предпосылке правила. [46]
Алгебра из этой серии особенно необходимо для понимания многих наших доказательств. При ссылках на Элементы математики мы будем писать Бурбаки и указывать том, параграф и п места, к которому мы отсылаем, а также номер предложения или теоремы, о которых идет речь. [47]
Обычно исходная программа на Фортране записывается на специальных бланках, аналогичных представленным на рис. 12.1. Предложение на Фортране, или, как часто говорят, оператор Фортрана, занимает колонки с 7 - й по 72 - ю включительно. Для того чтобы можно было ссылаться на предложения, им могут присваиваться номера. Номера предложений, или, иными словами, метки - это целые числа без знака, содержащие не более пяти цифр и лежащие в диапазоне значений от 00001 до 99999 включительно. Обычно левые незначащие нули не записываются и заменяются пробелами, поэтому записи вида 00123 и 123 считаются идентичными. Метки могут присваиваться в любом порядке, однако никакие два предложения не должны иметь одинаковых меток. [48]
Вообще говоря, номера предложений должны возрастать при чтении программы сверху вниз. Каждый очередной номер предложения должен выбираться с шагом 5 или 10, с тем чтобы при добавлении новых предложений старые номера оставались прежними. [49]
Логика второго порядка является тогда, как вытекает из следствий 18.2 и 18.3 и упр. Более того, предположим, что предложениям второго порядка некоторым разумным образом приписаны геделевы номера. Тогда множество геделевых номеров общезначимых предложений второго порядка не является ( даже) определимым в арифметике. В самом деле, предположим, что V ( y) определяет это множество. [50]