Cтраница 4
Доказательство утверждения 2) проводится индуктивно по сложности формулы ( р, а аксиома S1 является базой индукции. Именно, сначала необходимо проверить, что 2) справедливо в том случае, когда ( р ( х) является атомарной формулой. [46]
Доказательство утверждения 2 достигается применением аксиомы выбора к семейству множеств Sn G е X: 0 л - - 2 -, где лею. [47]
Доказательство утверждения, касающегося единственности ( F, F, F - t, t, t -, предоставляется читателю. [48]
Доказательство утверждения ( Ь) мы оставляем читателю в качестве упражнения. [49]
Доказательство утверждения задачи аналогично предыдущему. [50]
Доказательству утверждения 22.31 предпошлем одно замечание вычислительного характера, которое будет потом использовано много раз. [51]