如果a=b,b=c,那么a=c,在这个命题中所涉及的公理或定理是什么