发现的前提