Cтраница 4
Одна и та же задача может быть решена, как правило, несколькими способами. Приведенные здесь решения не всегда самые изящные и короткие, однако мы выбрали именно эти решения для того, чтобы показать определенные приемы решений, продемонстрировать применение различных теорем. [46]
Позднее, на ранней стадии разработки теории моделей логики с бесконечными формулами, они также занимали видное место в этой теории. Различные теоремы об устойчивости первоначально доказывались различными методами. Другой подход к теоремам об устойчивости, использующий насыщенные модели, обсуждается в разд. [47]