对于很多有限情形下的操作,我们基本上不需要任何犹豫,但是在无限的情况下,很多操作需要精心考虑(其实在陶哲轩的《 […]

这一节主要是各种定义: (1)集合$X$中的关系$R$称为是反对称的(antisymmetric),如果$xR […]

使用归纳定义,可以给出自然数的加法,乘法和幂的定义,减法和除法在自然数并不总是可行的,可以定义为加法和乘法的逆 […]