- statement ステートメント. ただし下記の例外がある
- true/false statements 命題. proposition と区別されるときは「真か偽かどちらかになる文」
- 「数学の定理のステートメント」という使われ方でなければ，「文」とも訳す
- canonical 正準
- theorem prover 証明支援系
- lean theorem prover の形で登場したときには，英語のままにする
—は日本語だと短すぎるので――で訳す.- natural number game 英語そのままにする