排序方式: 共有1条查询结果,搜索用时 15 毫秒
1
1.
1903年伯特兰·罗素在他的《数学原理》的序言中指出:“这本书的第一目的,是要证明以下两件事:纯粹数学的诸概念,都可根据极少数的逻辑基本概念来下定义,以及纯数学的定理都是从少数的逻辑原理中演绎出来的。数学的理论能用公理论的形式表述,在大多数情况下,仅用集合论语言的写法就可以表述:由公理引出定理的演绎过程,用谓词逻辑的符号,就可以完全地、严密地表达出来,这样,与数学密切联系就成了现代 相似文献
1