Лекция 1. Д.И.Савельев. Аксиомы теории ZFC