axiom system（公理系。すなわち）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索内容:

axiom system

A set of axioms or axiom schemata from which theorems can be derived.

日本語の意味

公理系。すなわち、定理を導出するための、公理または公理スキーマの集合

To formalize arithmetic, the mathematician introduced a new axiom system that simplified proofs of basic theorems.

算術を形式化するために、その数学者は基本的な定理の証明を簡略化する新しい公理体系を導入した。

活用形複数形

plural of axiom system

原形: axiom system

日本語の意味

公理体系（論理学や数学において、公理に基づいて構築された理論体系） / ※「axiom systems」は「axiom system」の複数形であり、複数の公理体系を指す場合に用いられる

Mathematicians tested several axiom systems to see which would yield the most elegant proofs.

数学者たちは、どの公理系が最も美しい証明を導くかを確かめるために、いくつかの異なる公理系を検証した。

Webで検索する