1) Principle of inductive-disproof
自然数命题
2) necessary proposition
必然命题
1.
The discussion of the kinds of necessary proposition;
关于必然命题种类的探讨
3) natural life
自然生命
1.
The method of the comparison and statistical analysis are used to find the different applications of information theory among the communication system, natural life and artificial life.
采用类比和统计分析的方法,分析了信息理论应用在通信系统、自然生命系统和人工生命系统中的相似和不同点。
2.
Praising the vigorous natural life and criticizing industrial civilization is the theme which runs through Lawrence s poetry in his middle life.
对旺盛自然生命的赞美和对机械文明的批判是贯穿于劳伦斯中期诗歌创作的主题性线索。
3.
The article puts forward that human is the unity of tripartite lives: natural life, spiritual life and social life.
人是三重生命的统一体 :自然生命、精神生命和社会生命。
5) nature-determining
自然定命
1.
Sang Hongyang is a realistic politician in Han Dynasty,who is in favour of legal administration,featured with divine way——materialist nature-determining,legislative power of severe penalty and the combination of power and penalty,which has great influence on the contemporary and afterward traditional legislative and politic rules.
桑弘羊是一位崇尚"法治"的现实政治家,其法治思想主要表现为"天道然"的唯物主义自然定命法律思想、"以刑止刑"的严刑峻罚立法论、"法势以治"的力刑并重法治观。
6) accidental proposition
偶然性命题
补充资料：自然数
| 自然数 natural number 用以计量事物的件数或表示事物次序的数。 即用数码1，2，3，4，……所表示的数。自然数由1开始 ， 一个接一个，组成一个无穷集合。自然数集有加法和乘法运算，两个自然数相加或相乘的结果仍为自然数，也可以作减法或除法，但相减和相除的结果未必都是自然数，所以减法和除法运算在自然数集中并不是总能成立的。自然数是人们认识的所有数中最基本的一类，为了使数的系统有严密的逻辑基础，19世纪的数学家建立了自然数的两种等价的理论棗自然数的序数理论和基数理论，使自然数的概念、运算和有关性质得到严格的论述。 序数理论是意大利数学家G.皮亚诺提出来的。他总结了自然数的性质，用公理法给出自然数的如下定义。 自然数集N是指满足以下条件的集合：①N中有一个元素，记作1。②N中每一个元素都能在N中找到一个元素作为它的后继者。③1不是任何元素的后继者。④不同元素有不同的后继者。⑤（归纳公理）N的任一子集M，如果1∈M，并且只要x在M中就能推出x的后继者也在M中，那么M＝N。 基数理论则把自然数定义为有限集的基数，这种理论提出，两个可以在元素之间建立一一对应关系的有限集具有共同的数量特征，这一特征叫做基数。这样，所有单元素集｛x｝，｛y｝，｛a｝，｛b｝等具有同一基数， 记作1 。类似，凡能与两个手指头建立一一对应的集合，它们的基数相同，记作2，等等。自然数的加法、乘法运算可以在序数或基数理论中给出定义，并且两种理论下的运算是一致的。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条