Models can also be used to show the independence of an axiom in the system.
模型也可以用来显示一个公理在系统中的独立性。