公理已采集over