Лекция 14. С.Л. Кузнецов. Система F