当然最令法希心烦的是那个放之四海而皆准的公理:在一群中年男人的办公室里,一位颇有魅力的年轻女郎总是把人们的眼球从手边的工作上吸走。
And by far the most troubling to Fache was the inescapable universal truth that in an office of middle-aged men, an attractive young woman always drew eyes away from the work at hand.
本文证明了:群、欧几里得空间、距离空间和拓扑空间的公理系统的独立性。
It has been proved that the nature of independence exists in the axiomatic system of Group, Euclidean space, distance space and topological space.
本文通过对合交换半群概念的引入,对MV -代数建立了几组等价公理系,对原有的公理系进行了较好的简化。
In this paper, we introduce the notion of involution commutative semi-group, and give some equivalence axioms of MV - algebras.
应用推荐