axiomatize

axiomatize

中文： 公理化