GB系统(GB system)是集合论的重要公理系统之一，该系统中有集合与类两个基本概念。用小写英文本母x，y，z，…作为集合变元，用大写英文本母X，Y，Z，…作为类变元，此外，cla(X)与m(X)分别表示X是一类与X是一集合
