対訳表の形式を更新

GLOSSARY.md

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