提交公理描述以及公理解释器