公理化

axiomatize, axiomatization