它的概念模糊而不可测试，但却被认为是公理而无懈可击。
Its concepts are woolly and untestable, yet are regarded as unassailable axioms.
我们应该探讨马丁公理和连续统假设之间的关系。
We should explore the relation between the Martin Axiom and Continuum Hypothesis.
首先，金融模型应避免过多的公理化。
First, financial models should avoid too much axiomatisation.
有一条公理：“最好从用户界面开始”。
There is an axiom that states, "It is best to start with the UI."
如前所述，证明以公理和定理做为其论据。
As I mentioned before, proofs use axioms and theorems to make their case.
我们不能把强权视为公理。
这一原理可以分析成三条公理。
功夫的方法并不包含了“强权即公理”。
各项公理是几何学的基础。
这是一些数学家不喜欢选择公理的理由之一。
This is one of the reasons why some mathematicians dislike the axiom of choice.
其中最频繁的是公理的形式非常熟悉在西方。
One of the least frequent is the congregational form so familiar in the West.
公理不会冤枉好人。
试验，结果，样本空间，事件，机率，机率公理。
Experiments, Outcomes, Sample Spaces, Events, Probability, Axioms of Probability.
既然它是个公理，我们可以用它来解这个数学题目了。
Since it is an axiom, we can use it to solve this maths problem.
定理（theorems）由公理推论得到的关于程序的陈述。
theorems which are statements about the program inferred from the axioms.
公理1告诉我，我们可以不爱时间，但是时间仍会爱你。
Axiom 1 tells me that we can not love the time, but time will still love you.
继续努力去证明平行公理并不意味着不知道高斯的思想。
There continuing efforts to prove the parallel axion do not imply ignorance of Gauss's thoughts.
以欧几里德的公理为基础对点、线、角、面和立体的研究。
Study of points, lines, angles, surfaces, and solids based on Euclid's axioms.
印尼是一个著名的一个受欢迎的公理证明“财富不是万能的”。
Indonesians are a well-known proof of a popular axiom 'wealth is not everything'.
事物的所有表示和模型的逻辑的，系统的，正式的，和公理性的开发。
The systematic, formal, axiomatic development of the logic of all forms and models of being.
数学模型有别于其他模型的重要一点就是：数学通过定义公理来创造属于自己的世界。
Mathematical models differ in an important aspect from other models: mathematics create, by defining axioms, a universe of their own.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
“你看不到自己的错误”，这是软件开发中的(也是很多其它学科的)公理。
"You don't see your own mistakes" is a truism of software development (and many other disciplines).
其次，我们建立命题型的择类语义，给出描述上述系统的特征公理的框架条件。
Secondly, we introduce a prepositional class-selection semantics, give the frame conditions of the character axioms of the systems.
文章类似于一般拟阵的基公理讨论模糊集族构成模糊基集所要满足的一些条件。
We investigate some conditions that fuzzy subsets make up of fuzzy bases to be similar to the base axiom.
文章类似于一般拟阵的基公理讨论模糊集族构成模糊基集所要满足的一些条件。
We investigate some conditions that fuzzy subsets make up of fuzzy bases to be similar to the base axiom.
应用推荐