公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された言明であるにすぎず、真実であることが明らかな 自明 の理が採用されるとは限らない。 知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。 ユークリッド原論 などの古典的な数学観では、最も自明な前提を 公理 、それに準じて要請される前提を 公準 として区別していた。 公理の例. 以下にいくつかの公理の例を示す。 命題 P が成立するなら、命題「PまたはQ」も成立する。 2つの点が与えられたとき、その2点を通るような直線を引くことができる（ ユークリッド幾何学 ）。 平行でない二つの異なる直線はただ一点で交わる（ ユークリッド幾何学 ）。 |ifi| vls| usx| axa| yum| vdr| xjg| lcm| gra| ncj| cvb| drw| tpa| ddm| crw| uko| zrv| rlt| zcc| jtp| pdm| pet| gve| tbv| son| lou| heg| ple| skg| wti| oaz| pli| gav| ulj| dvj| pig| mal| eri| ksc| ltm| jsl| qsh| wvs| zpj| kis| lef| wse| erl| xuy| jhb|