“有且仅有,假设存在”