axioms的例句大全

A new enforcement approach, named ABLP approach, for the BLP axioms is constructed theoretically. The correctness of the ABLP approach is proved.

从理论上构造BLP公理的一种新的实施方法（ABLP方法），并给出该方法的正确性证明。

And we learned how to prove the Pythagorean Theorem in Euclidean geometry, starting with the various axioms in Euclidean geometry, ba, ba-ba, ba-ba, ba-ba, ba bum.

我们都学习过，欧几里得几何中对勾股定理的证明方法，从繁杂的欧氏几何的公理开始，邦，邦邦，邦邦，邦邦。

Secondly, by using of the medium axiomatic set theory ( MS), a natural number system in MS is constructed, and it is proved that five axioms of Peano ′ s natural number system are theorems is MS.

其次，利用中介公理集合论MS的相关理论，构造了MS中的自然数系统，证明了Peano5条公理为MS中的定理。