"公理(こうり、Axiom)とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。...公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。"

f99aqf99aq のブックマーク 2008/05/18 15:54

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

公理 - Wikipedia

    公理(こうり)は、その他の命題を導き出すための前提として導入される最も基的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを公理系(英語版) (axiomatic system)...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう