axiomatisation
美 英
例句
at the same time , we prove the consistency , soundness and completeness of this axiomatisation.
同時(shí)證明了這個(gè)公理體系的一致性、無(wú)矛盾性、完全性以及完備性。