Конспект

составленный при чтении книги С. Клини "Введение в метаматематику".