Лекция 2. Д.С. Шамканов. Доказуемостная интерпретация логики Гёделя-Лёба