一 用名字表达存在的理论困难