コンピューター用語辞典

日外アソシエーツ株式会社

axiom schema

公理図式

用例
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

日英・英日専門用語辞書

日中韓辭典研究所

axiom schema

公理図式

Weblio英和対訳辞書

英和辞典・和英辞典 - Weblio辞書

Axiom schema

公理図式
公理図式（英：axiom schema、英複数形：axiom schemata）とは、数理論理学における用語で、公理を一般化した概念である。
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

Wiktionary英語版

出典：Wiktionary

axiom schema

出典:『Wiktionary』 (2026/06/27 16:54 UTC 版)

名詞

axiom schema (plural axiom schemas or axiom schemata)

  1. (logic) A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions.
    Hyponyms: axiom schema of abstraction, axiom schema of separation

同意語

ウィキペディア英語版

出典：Wikipedia

Axiom schema

出典:『Wikipedia』 (2011/06/16 07:14 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

In mathematical logic, an axiom schema (plural: axiom schemata) generalizes the notion of axiom.

Axiom schemaのページの著作権