Видео со словом «гёделевский»

56:23

Лекция 20. Л. Д. Беклемишев. Гёделевская система Т. Интерпретация формальной арифметики в Т. Ч. 2