WordNetaxiomatic systemと他の単語との繋がり
1名詞
意味 any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems.
定理を論理的に導出するために一部またはすべての公理を組み合わせて使用できる公理の集合
例文 An axiomatic system is said to be consistent if it lacks contradiction (i.e. it is not possible to derive both a statement and its negation from the system's axioms).
公理系は、矛盾を欠いている場合（すなわち、系の公理からある命題とその否定の両方を導出することが不可能な場合）、無矛盾であると言われる
上位語