1. 根據已知的公理、定義、定理、定律等經過演算和邏輯推理而得出新的結論。