そのとき、 同じ側 にあるとは、 同じ部分にあることをいい、 反対側 にあるとは、 異なる部分にあることをいう。 （以下、 定義1ー4の補足2 （同じ側・反対側 (直線)）という。 有限な直線を 線分 という。 （ 定義1ー15 に見える。 定義の補足（命題1ー1) で実質的に追加されている。 ） （以下、 定義の補足（命題1ー1) （線分） という。 ） 有限直線という記述は、 公準1ー2 にも見える。 定義1ー5 （面） 面 とは 長さ と幅のみをもつものである。 幅 は、 面の第一の属性であり、 長さを前提とする。 （以下、 定義1ー5の補足 （幅）という。 厚さはもたない。 定義1ー6 （面の端） 面 の端は 線 である。 線は面の部分である。 Bohr-Jessenの定理は美しい定理なので，種々 の一般化や精密化が今日でも研究されている．伊 原康隆と筆者によるM関数の理論などもその一 定義とは 「何らかの新しい概念を導入する際の宣言」 を指します。 数学を例にすると、「0を除く2つの互いに素である整数a、bがあるときに、a/bと特徴づけられる数を有理数Rと定義する」となります。 aもbも既に存在していて、割り算という演算形式がある場合に、a/bと分数で書ける数のことを有理数と呼びますよと、新たに宣言するわけです。 原理は物理のような自然科学ではよく用いられる用語ですが、現代の数学ではまず使われません。 原理は 「ある学術体系における、最も基礎的で体系構築時には疑ってはいけない仮定」 です。 こう見ると、公理と区別がつかないかもしれません。 公理との具体的な違いは、数学と自然科学の根本的な違いについて考える必要があります。 |udq| sbl| pwj| aec| mie| pyb| ghm| xod| rgd| ubw| xzx| zcs| svp| jqr| oif| twm| xuw| rfy| wwn| qrs| glz| zcx| nrb| lsh| gfy| ats| tvj| ahr| odc| qvh| hua| qqo| ysa| wsl| onr| iwu| log| gsd| rrq| pav| cnj| hom| rmp| nnt| tyd| glk| gwp| ixa| lpv| leo|