公理系
from 数学基礎論 (数理論理学) 入門 by alg-d
定義
閉論理式のメタ集合Tを公理系という
公理系が与えられたとき、その元を公理と呼ぶ
メタ集合、つまり普段の数学（メタ数学）の意味での集合