axiom schema

Etymology

axiom + schema の複合語。公理を生成するパターン。

修飾語 axiom

axiom（本項参照）に由来。

主要部 schema

形式的パターン。ギリシャ語 σχῆμα (schēma) より。

Origin

一階論理。形式体系。

Meaning

無限個の公理を表すテンプレート。

Earliest use

Oxford Reference、Wikipedia に attest。

Definition

無限個の公理を1つのスキーマで表す形式。一階述語論理などで用いられる。