公理図式ウィキペディア フリーな encyclopedia 公理図式(英:axiom schema、英複数形:axiom schemata)とは、数理論理学における用語で、公理を一般化した概念である。公理型とも訳される。