第一章：逻辑与证明

1. 整除是数学中两个自然数之间的一种关系。自然数a可以被自然数b整除，是指a是b的整数倍数，也就是a除以b没有餘数，意味着b是a的因数。例如，15可以被5整除，20不能被6整除（因为餘数为2）。
2. 素数，又称质数，一个大于1的自然数中，除了1和此整数自身外，没法被其他自然数整除的数；即是只有两个正因数（1和自己）的自然数。