四 同一、指称与量化