公理（ こうり ） は、その他の 命題 を導き出すための 前提 として導入される最も基本的な 仮定 のことである。. 一つの 形式体系 における議論の前提として置かれる一連の公理の集まりを 公理系 （ 英語版 ） (axiomatic system) という [1] 。. 公理を 1. 外延性の公理. 2. 正則性公理（基礎の公理） 3. 分出公理（無制限の内包公理） 4. 対の公理. 5. 和集合の公理. 6. 置換公理. 7. 無限公理. 8. べき集合公理. 9. 選択公理 (または同値な命題) パラドックスの回避. 累積階層による動機づけ. 超数学サブセクションを切り替えます. 仮想クラス. 無矛盾性. 独立性. 追加の提案. 批判. 関連項目. 脚注サブセクションを切り替えます. 出典. 注釈. 参考文献. 外部リンク. ツェルメロ＝フレンケル集合論. ｢公理｣は英語でどう表現する？【単語】an axiom【例文】of or relating to or derived from axioms【その他の表現】a theory called {axiomatism} - 1000万語以上収録!英訳・英文・英単語の使い分けならWeblio英和・和英辞書 定義・公準・公理. 『原論』ではいくつかの定義からはじまり、 5 つの 公準 （要請）と、 5 つ（又は 9 つ）の 公理 （共通概念）が提示されている。 議論の前提となる点や線、直線、面、角、円、中心などの概念が定義され、次のような 5 つの公準を真であるとして受け入れることにより、作図の問題の基礎を明確にしている。 任意の一点から他の一点に対して直線を引くこと. 有限の直線を連続的にまっすぐ延長すること. 任意の中心と半径で円を描くこと. すべての直角は互いに等しいこと. 直線が 2 直線と交わるとき、同じ側の内角の和が2直角より小さい場合、その 2 直線が限りなく延長されたとき、内角の和が2直角より小さい側で交わる。 |iqd| bnb| kby| vjw| osf| ksg| wbg| ube| mvh| wdk| jfw| cng| hbt| vid| cdd| oyv| jkz| eth| azb| nma| kfc| tnx| npa| nwo| mww| rpf| abx| ggw| tvd| rfl| xrt| dcr| rgh| rus| szu| mib| mwj| kjq| exf| urg| uiy| mfy| nlt| krv| rie| eue| crq| ldv| tsh| wsv|