选择公理,选择公理,xuanze gongli,选择,公理,gongli,xuanze,[拼音]:xuanze gongli[外文]:axiom of choice公理集合论中的一条重要的公理,简记做AC。它可表述为:如果S是由不空的集合组成的一集合,则存在一个函数ƒ,使得对于S中的每一集合x,都有ƒ(x)∈x成立。换...
公历,公历,gongli,公历,gongli,[拼音]:gongli[外文]:Gregorian calendar目前全世界通用的历法,又称格雷果里历,实质上是一种阳历。它是罗马教皇格雷果里(一译格利哥里)十三世对原来的儒略历进行修订后于1582年颁行的。由于儒略历的年长度是365.25日,同回归年长度365.2422日相差0.0078日...
静力学公理,静力学公理,jinglixue gongli,静力学,公理,gongli,jinglixue,[拼音]:jinglixue gongli[外文]:axioms of statics静力学中已被实践反复证实并被认为无须再证明的真理。它们是研究静力学的理论基础。公理一(二力平衡公理) 作用于刚体的二力,其平衡的充分必要条件是:此二...
无穷性公理,无穷性公理,wuqiongxing gongli,公理,无穷,gongli,wuqiongxing,[拼音]:wuqiongxing gongli[外文]:axiom of infinity集合论中肯定无穷集合存在的公理。G.F.P.康托尔在建立集合论时,发现仅靠逻辑公理不能保证有无穷集合存在,因为没有一个一阶公式能在无穷个体...
无穷性公理,无穷性公理,wuqiongxing gongli,公理,无穷,gongli,wuqiongxing,[拼音]:wuqiongxing gongli[外文]:axiom of infinity集合论中肯定无穷集合存在的公理。G.F.P.康托尔在建立集合论时,发现仅靠逻辑公理不能保证有无穷集合存在,因为没有一个一阶公式能在无穷个体...