axiomatisation

美 　英

• 網(wǎng)絡(luò)公設(shè)化

例句

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

同時(shí)證明了這個(gè)公理體系的一致性、無(wú)矛盾性、完全性以及完備性。