Р. В. Гамкрелидзе, Необходимые условия первого порядка и аксиоматика экстремальных задач