Теорема о неподвижной точке (лемма о диагонализации)

Это видео - заплатка к большому ролику про вторую теорему Гёделя о неполноте, опубликованному на канале Маткульт-Привет Алексея Савватеева. Ссылка на канал Маткульт-Привет: Ссылка на ролик про вторую теорему Гёделя о неполноте: