axiomatisation

axiomatisation

美 　英

• 网络公设化

例句

at the same time , we prove the consistency , soundness and completeness of this axiomatisation.

同时证明了这个公理体系的一致性、无矛盾性、完全性以及完备性。