最小的正整数是1。正整数，为大于0的整数，也是正数与整数的交集。正整数又可分为质数，1和合数。正整数可带正号（+），也可以不带。和整数一样，正整数也是一个可数的无限集合。在数论中，正整数，即1、2、3

“不相交的两条直线叫做平行线”这句话不对。因为缺少一个前提“在同一个平面中”。正确的说法应该是“同一平面上的不相交的两条直线叫平行线”。平行线公理是几何中的重要概念。欧氏几何的平行公理，可以等价的陈述

1、几何中，在同一平面内，永不相交（也永不重合）的两条直线(line)叫做平行线。2、平行线公理是几何中的重要概念。欧氏几何的平行公理，可以等价的陈述为“过直线外一点有唯一的一条直线和已知直线平行”。

在每一节课前养成预习的习惯，在预习时善于发现不懂的问题，带着问题去上课。课堂上认真听讲，做好随堂笔记，多参与课堂上的互动。课后归纳总结学习到的知识点，培养复习的习惯，将课本上给出的定理、公理自己动手推

一定类的所有元素必须属于同一类型，类相对于其自身成员是高一级类型的对象。这样，集合本身就不能是它自己的成员，类型论避免了集合论悖论的产生。罗素还进一步论述了关于命题函数的分支类型论，并引进了重要的&l

杠杆原理是阿基米德发明的。杠杆是一种简单机械，阿基米德在《论平面图形的平衡》一书中最早提出了杠杆原理。在力的作用下能绕着固定点转动的硬棒就是杠杆。在生活中根据需要，杠杆可以是任意形状。滑轮是一种变形的

五四运动形成了爱国、进步、科学的五四精神。五四运动，是1919年5月4日发生在北京的一场以青年学生为主，广大群众、市民、工商人士等阶层共同参与的，通过罢工、暴力对抗等多种形式进行的爱国运动，是中国人民

[拼音]：Jihe Yuanben[外文]：Elements几何学的经典著作。古希腊数学家欧几里得约于公元前300年编成。全书共15卷。第1卷阐述由直线和曲线构成的平面图形；第 2卷讨论代数恒等式，第

[拼音]：jihelun[外文]：set theory数理逻辑发展中形成的一个重要的分支，是现代各数学分支的共同基础。集合论是在19世纪70年代由G.F.P.康托尔创立的。它从集合的直观概念出发研究集

[拼音]：xuanze gongli[外文]：axiom of choice集合论中的一条公理。它肯定对任何由非空集合组成的非空集合S，存在函数ƒ:S→∪S使对每个x∈S有f(x)∈x，f称作S的选择

[拼音]：gongli fuzaxing lilun[外文]：axiomatic complexity theory用公理方法研究部分递归函数的计算复杂性的理论。从空间、时间这样具体的资源中抽象出一般

[拼音]：gongli yuyixue[外文]：axiomatic semantics形式语义学的一个分支。不同的人在了解程序的含义时有不同的要求。公理语义学方法就是研究如何将这些不同的要求形式化，并

[拼音]：dianci lianxu jiezhi lilun[外文]：theory of electromagnetic continua理性力学的研究内容之一，主要研究电磁场与可变形物体或流动物质

[拼音]：Ouduokesuosi[外文]：Eudoxus（约公元前400～前347）古希腊数学家、天文学家，在地理、医学、法律等方面也有贡献。生于尼多斯（今土耳其西南角），曾受教于柏拉图及阿尔希塔斯

[拼音]：feibiaozhun moxing[外文]：non-standard model简单地说就是与自然模型（或称标准模型、期望模型）不同构的模型。设L为一阶语言(见模型论)，从原则上讲，任何由

[拼音]：xuanze gongli[外文]：axiom of choice公理集合论中的一条重要的公理，简记做AC。它可表述为：如果S是由不空的集合组成的一集合，则存在一个函数ƒ，使得对于

[拼音]：gaojie luoji[外文]：higher order logic通常的逻辑演算是一阶谓词演算，也叫一阶逻辑。在其中除命题联结词外，所讨论的函词及谓词都只以个体为变目，而量词及摹状词只以

[拼音]：Cemeiluo[外文]：Ernst Friedrich Ferdinand Zermelo (1871～1953)德国数学家，公理集合论的主要开创者之一。1871年7月27日生于柏林，19

[拼音]：motai luoji[外文]：modal logic数理逻辑的一个重要分支，研究“必然”、“可能”、“不可能”和“偶然”等所谓“模态”概念的逻辑学说。这里“模态”一词是英语词“modal”