首先简略介绍了Ｃｏｑｕａｎｄ和Ｈｕｅｔ的构造演算以及Ｐｌｏｔｋｉｎ和孙踊的受囿算子系统，然后，将构造演算在受囿算子系统中进行公理化，此公理化无需无限级（数据）类型结构......