bool的博客

一对一的定义：如果x对y有所说的关系，则没有其他的项x'对y有这种关系；并且x对于y以外的任何项y'也没有相同的关系多对一与一对多定义：只满足一对一条件中的第一个的关系称为一对多关系，只满足第二个的关系称为多对一关系。后域与前域：前域：所有与别的东西有某给定关系的各项所形成的类叫做这关系的前域。后域：后域就是它的逆关系的前域。相似：所谓一类相似于另一类，就是在它们之间有一个一对一的关系，一类是这关系的前域，令一类是它的后域。数的定义：一个类的数是.

最近在阅读罗素大神的数理哲学导论，本书是罗素继1903年问世的《数学原则》和1910-1913年出版的三大卷黄黄巨著《数学原理》之后所写的一本书，本来是想直接开肝数学原理的，但是数学原理一书因为内容艰深晦涩，国内似乎并没有中文版的，但是在网上看到了这本书，这本书罗素在谈到时，把它称之为数学原理一书的导论，或者半普及本，这本较之于数学原理更容易上手，于是趁着有空，打算看完这本书。我们对于自然数虽是熟悉，却并没有了解。什么是“数”，什么是"0"，什么是"1"，很少有人严格解释过，更不用下定义，Peano.