⇢ АS
Александр Sgibnev
Одновременно расширен раздел,
посвященный связи между семантической и синтакси-
синтаксической формулировками теоремы о неполноте, а также
добавлены приложения, посвященные теореме Тарско-
го о невыразимости понятия истины и обоснованию
аксиомы арифметичности.