简单说,他受弗雷格影响,先定义了0、1和后继(1是0的后继):一个数是与其相似的类的类.
然后逐渐展开自然数和加法等.
罗素的大部分理论可以在《数学原理》中找到,但是过于艰深且没有中译本,可以参阅他的《数理哲学导论》(商务印书馆 汉译名著版本)。
罗素的《数学原理》用了362页才推导出1+1=2,这并不奇怪。
证明:
一、根据后继数a' 求证,
1+1=0'+1=(0+1)'=1'=2或者是
1+1=0'+0'=(0'+0)'=0''=2 ,
一个数的后继数就是紧接在这个数后面的数,
二、反证法,
假定1+1≠2根据自然数大小规定,后一个数是前面一个数+1,即2=1+1两者矛盾,所以1+1=2。
1. 数学推导是通过逻辑推理和已知结论得出新结论的过程。
2. 推导过程必须严格按照逻辑规律进行,遵循基本数学原理和定理。
3. 推导过程一般分为假设、前提、推理和结论四个步骤。
4. 假设阶段是指提出需要证明的结论,即推理过程的起点。
5. 前提阶段是指根据已知定理或结论列出一些基本假设,用于推导证明。
6. 推理阶段是指利用已知结论和逻辑推理规律进行演算,从而得出新结论的过程。
7. 结论阶段是指根据前面推理得出需要证明的结论,完成整个推导过程。
8. 推导过程应该严谨、精确、清晰,避免漏洞,保证证明的正确性和可靠性。
9. 数学推导过程是研究数学问题的一种重要方法,在数学研究和应用中具有广泛的应用。