公理型
公理型(英:axiom schema、英複数形:axiom schemata)とは、数理論理学における用語で、公理を一般化した概念である。公理図式とも訳される。
ZFCで証明できる定理は全てノイマン=ベルナイス=ゲーデル集合論(英語版)(NBG)でも証明できるが、大変驚くべきことに、後者は有限公理化されている。新基礎集合論(NF)は有限公理化可能だが、その場合はエレガントさが幾分か失われる。