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