用公理系统寻宝