axiomatic system

Noun

(logic) A set of axioms from which theorems can be derived.

Japanese Meaning

論理学における公理的体系：公理の集合から定理を導くことができる体系

To study the foundations of geometry, she constructed an axiomatic system and proved several theorems from its axioms.

幾何学の基礎を研究するために、彼女は公理体系を構築し、その公理からいくつかの定理を証明した。

Sense（1）

(logic) A set of axioms from which theorems can be derived.

axiomatic systems

（ plural ）