公理系统

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

Secondly, by using of the medium axiomatic set theory, 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中的定理。

Some of these have continued to the present day, and this congregational system is now, with very few exceptions and some slight variations in matters of detail, the normal form of government throughout the order.

这些问题有一些已经持续到今天，这个公理系统现在，除了极少数例外，并略有变化的详细事项，正常的政府形式在整个秩序。

As an application of the above proof, we obtain at once that there is an open and dense set in the set of Ω-stable systems such that every system in the set satisfies Axiom A and the no-cycle condition (Axiom A and the strong transversality condition, respectively).

作为上述方法的一个运用，马上可以得出在Ω稳定系统的集合中有一开稠集满足公理 A 和无环性条件(对应的，公理 A 和强横截性条件)。

In them, there are the equational characterization of residuated lattices and regular residuated lattices. This shows that the classes of all residuated lattices and all regul...

本文还讨论了剩余格与正则剩余格公理系统的独立性，以及它们与相近代数结构的关系。

Based on LML theory frame and its algebraic model, geometric model and learning axiom systems, going for further study, this paper presented orbits generated algorithm of learning subspace in LML and applied it to corresponding examples, such as classify of human, chemical composition of wine and eight data sets including Soybean-Large, etc.

本文在李群机器学习的理论框架上，以李群机器学习的代数模型、几何模型、学习的公理系统为基础作进一步研究，给出了李群机器学习的学习子空间轨道生成算法，将该算法应用于人群分类，葡萄酒化学成分分类以及大豆等八个专用数据集的分类，取得了满意的结果。

The generally acknowledged truth of traditional logic isn′t the generally acknowledged truth of the traditional logic syllogism ;It isn′t get the law of identity,the law of contradiction,the law of excluded middle and the law of sufficient reason;It isn′t still the two complete formula of Celarent in Aristotle′s system.

传统逻辑的公理不是传统逻辑的三段论的公理，也不是同一律、矛盾律、排中律和充足理由律，还不是亚里士多德系统中第一格的两个全称式。

The dissertation studies weakening the rational behavior axioms andutility expression of expected utility theory.

本文的研究着重于期望效用理论的公理弱化及其相关的效用表示问题，特别是有关格序偏好结构理论的研究成果在作者可获取的文献内未见涉及，其他有关理性行为公理弱化的研究在国内也极少，本文较为系统的研究成果在一定程度上填补了这一研究领域的空白。

First of all, the clustering result is corresponding to the Kripke structure. The relevant system of axioms is chosen by the correspondence between the syntax and semantics of modal logic.

首先将聚类结果对应于模态逻辑中Kripke结构；然后利用模态逻辑中语法与语义之间的对应性选取了相应的公理系统。

As a corollary, we solve a conjecture of Liao, i.e., the following four conditions are all equivalent: 1 the system is structurally stable, 2 the system is in the interior of the set of Kupka-Smale systems, 3 the obstruction set and the interior of singularities of the system are empty, 4 the system satisfies Axiom A and the strong transversality condition.

作为一个推论，这解决了廖山涛先生的一个猜测，即下述四个条件等价：1 系统为结构稳定的，2系统及其附近的系统皆为Kupka-Smale系统，3系统的阻碍集为空集，4 系统为公理A且满足横截性条件。3→4，4→1，1→4已经分别由廖山涛， Smale、 Anosov、 Robbin、 Robinson以及Robinson完成。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。