需要對於一些術語進行文章風格的建立。DASP-TLCC。
- Definition(定義):定義不需要證明,但需要清晰且無歧義地闡述
- Axiom(公理):公理是一個自明的、無需證明的基本假設或原則。
- Statement(陳述):陳述可以是真或假的,不一定是已證明的。
- Proposition(命題):一個可以證明或證偽的數學陳述。
- Theorem(定理): 定理是一個已被證明的數學陳述。
- Lemma(引理): 引理是一個輔助性的命題。
- Corollary(推論):推論是一個可以直接從已證明的定理或引理中推導出的結果。
- Conjecture(猜想):猜想是一個尚未被證明的數學陳述。
沒有留言:
張貼留言