e/Axiom schema

Information
has gloss	eng: In mathematical logic, an axiom schema (plural: axiom schemata) generalizes the notion of axiom.
lexicalization	eng: axiom schema
instance of	(noun) (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident axiom

Meaning
Italian
has gloss	ita: In logica matematica si chiama schema di assiomi una scrittura simbolica che rappresenta schematicamente delle regole di costruzione per un insieme (eventualmente infinito) di formule ben formate che si intende includere tra gli assiomi di una teoria proposizionale o del primo ordine. Le fbf che rientrano nello schema vengono chiamate istanze dello schema.
lexicalization	ita: schema di assiomi
Dutch
has gloss	nld: Een axiomaschema is in de wiskundige logica een veralgemenisering van een axioma. Bekende voorbeelden van axiomaschema's zijn:
lexicalization	nld: Axioma-schema
lexicalization	nld: axiomaschema
Chinese
has gloss	zho: 在符号逻辑中，用有穷数目的公理表达公理系统有时是不方便或不可能的。因此，要使用公理模式。形式上说，公理模式是合式公式的(通常是无穷的)集合，其中每个元素都被接受为一个公理。这个集合常常是递归构造的。一个周知的公理模式是替代公理模式。
lexicalization	zho: 公理模式