ブログ記事のカテゴリーについては：
- 半形式証明スクリプト https://m-hiyama-memo.hatenablog.jp/archive/category/%E5%8D%8A%E5%BD%A2%E5%BC%8F%E8%A8%BC%E6%98%8E%E3%82%B9%E3%82%AF%E3%83%AA%E3%83%97%E3%83%88
言葉遣い：
- 公理は要請〈demand〉する。
- 定理は主張〈assert〉する。
したがって、
- 公理の記述は要請〈demand 名詞〉
- 公理の記述は主張〈assertion〉
- 主張の裏付け／証拠が証明〈proof〉
