いった用語が出てきますが、簡単に説明してください。回答ざっくり書きます。真偽が決まる主張のことを「命題」といいます。最初から与えられていて証明する必要がない命題を「公理」といいます。公理と定理を使って証明した命題のことを「定理」といいます。さまざまな定理を証明するのに便利な定理のことを「補題」といいます。ある定理から容易に導ける定理のことを「系」といいます。違いは、証明する必要があるかどうかです。「公理」は証明の大前提となる土台のようなもので、証明する必要はありません。三種類がありますが、これは気持ちの問題といえば気持ちの問題です。この区別があると数学書を読むときの手掛かりとなります。数学の本でよく出てくるパターン数学の本でときどき次のようなパターンを見かけます。1命題Xを証明したいなあ。2基本的な概念の定義をいくつか出しましょう。3定理をいくつか証明しましょう。4新しい概念が定義しましょう。5補題を証明しましょう。6輝かしい定理Yが証明できました。あれ?当初の目的である命題Xは証明しないのかな、と思ったところで、7定理Yの系として命題Xが一行で証明される。大きな定理を証明するよりも、みんなから便利に使われる補題を証明したいという言葉を聞いたことがあります。ところで、数理論理学になると、これらの用語は別の意味で使われるので混乱する場合がありますのでご注意ください。『数学ガール/ゲーデルの不完全性定理』では「形式的」というプレフィックスを付けて混乱をやや回避しようとしています。「定理」と「形式的定理」のように。「公理系」と「系」はまったく違います。「公理系」はいくつかの公理の集まりのことで、「系」は「定理から比較的容易に導ける定理」です。「公理系」の系はsystemで、「系」はcorollaryです。ちなみに、物理学での「系」と数学での「系」は違う意味です。物理学では「現在注目している互いに関わり合うものたち」をまとめて「系」と呼びます。力学で互いに力を及ぼし合っている質点全体のことなど。こちらの系はsystemだと思います。@hyuki『数学ガール』作者。結城メルマガとWeb連載を毎週書いてます。文章書きとプログラミングが好きなクリスチャン。noteお話の一覧を見る。