根据已知的公理、定义、定理、定律等经过演算和逻辑推理而得出新的结论