数学的構造の定義

基礎集合から生成規則（公理系）に則って有限回のベキと直積によって有限生成された集合（基礎概念）を考えるとき、基礎集合と基礎概念の組（型）として、型と公理系の組。

基礎集合から生成規則（公理系）に則って有限回のベキと直積によって有限生成された集合（基礎概念）を考えるとき、基礎集合と基礎概念の組（型）として、型と公理系の組。