Cтраница 4
Процедура сравнения является существенной частью метода подстановок. Без такой процедуры этот метод является лишь той частью алгоритма Британского Музея, которая использует только подстановки и замены. Используя его, ЛТ может непосредственно или в сочетании с другими методами доказать много теорем при приемлемых затратах. Для получения материала о работе ЛТ ему последовательно были предложены для доказательства первые 52 теоремы Principia. В каждом случае ЛТ в качестве материала для работы сообщались все аксиомы плюс все ранее доказанные в гл. [46]
Уравнения (28.37) и (28.40) решают методом подстановки и последовательных приближений. [47]