| 意味 | 例文 (1件) |
Axiom schemaとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
意味・対訳 公理図式（英：axiom schema、英複数形：axiom schemata）とは、数理論理学における用語で、公理を一般化した概念である。
調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます！
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
Wiktionary英語版での「Axiom schema」の意味 |
axiom schema
出典:『Wiktionary』 (2026/06/27 16:54 UTC 版)
名詞
axiom schema (plural axiom schemas or axiom schemata)
- (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
|
| 意味 | 例文 (1件) |
|
|
Axiom schemaのページの著作権
| Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. | |
| Copyright © 2026 CJKI. All Rights Reserved | |
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのaxiom schema (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
|
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのAxiom schema (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！※モジュールの非表示は、から変更可能
みんなの検索ランキング
-
1daikin
-
2query
-
3occupation
-
4eight
-
5fast
-
6feature
-
7description
-
8亜鉛
-
9august
-
10whole
閲覧履歴
 | 「Axiom schema」のお隣キーワード |
weblioの他の辞書でも検索してみる
weblioのその他のサービス
weblioのその他のサービス
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
