Cтраница 4
Здесь и далее, говоря о непротиворечивости и выводимости, мы не уточняем, в какой сигнатуре строятся выводы: все наши сигнатуры будут отличаться лишь набором констант, и лемма о добавлении констант на с. [46]
Очевидно, что доказуемость Ф в HBi равносильна выводимости Ф в HBi из пустого множества гипотез. [47]
Тем самым первое из рассматриваемых нами условий на выводимость для формализма ( Z) оказывается выполненным. [48]
Механизм, которым реально можно было бы установить выводимость рассматриваемых формул, близок к описанному и резко отличается как от собственного метода резолюций, так и от алгоритма Британского музея. [49]
Посредством этих двух теорем и достигается сведение понятия выводимости к понятию доказуемости. [50]