3公理与推论的证明和应用