最終更新日 :2025/11/25

axiom system

名詞
日本語の意味
公理系。すなわち、定理を導出するための、公理または公理スキーマの集合
このボタンはなに?

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

plural

復習用の問題

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

音声機能が動作しない場合はこちらをご確認ください
正解を見る

axiom system

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

正解を見る

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

音声機能が動作しない場合はこちらをご確認ください

英語 - 英語

項目の編集設定
  • 項目の編集権限を持つユーザー - すべてのユーザー
  • 項目の新規作成を審査する
  • 項目の編集を審査する
  • 項目の削除を審査する
  • 重複の恐れのある項目名の追加を審査する
  • 項目名の変更を審査する
  • 審査に対する投票権限を持つユーザー - 編集者
  • 決定に必要な投票数 - 1
例文の編集設定
  • 例文の編集権限を持つユーザー - すべてのユーザー
  • 例文の削除を審査する
  • 審査に対する投票権限を持つユーザー - 編集者
  • 決定に必要な投票数 - 1
問題の編集設定
  • 問題の編集権限を持つユーザー - すべてのユーザー
  • 審査に対する投票権限を持つユーザー - 編集者
  • 決定に必要な投票数 - 1
編集ガイドライン

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★