|
公理型（英：axiom schema、英複数形：axiom schemata）とは、数理論理学における用語で、公理を一般化した概念である。 ==概要== 任意の公理型は何らかの公理系における整論理式であり、そこには一つ以上の型変数が現れる。これらの変数はメタ言語学的な構成物であり、所与の体系における項や部分論理式に相当し、一定の条件を満たすことが要請される場合やされない場合がある。一定の条件とは、例えば特定の変数が自由変項であることや、またはそうした特定の変数が部分論理式や項に現れないことなどである。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「公理型」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Axiom schema 」があります。 スポンサード リンク
|