bn:03638019n
Noun Concept
Categories: 公理, 型理論, 数学に関する記事, 形式体系, 数理論理学
JA
公理型  公理スキーマ  公理図式
JA
公理型(英:axiom schema、英複数形:axiom schemata)とは、数理論理学における用語で、公理を一般化した概念である。 Wikipedia
Definitions
Relations
Sources
JA
公理型(英:axiom schema、英複数形:axiom schemata)とは、数理論理学における用語で、公理を一般化した概念である。 Wikipedia
Wikipedia
Wikidata
Wikipedia Redirections
Wikidata Alias