以经过严格论证的数学命题形式出现，揭示两个或多个概念之间的固有关系的判断的是（ ）。