艾维李提出了什么命题