それは、基本的な数論になると、我々は集合論から割り切れるは話し始めました。
▎割り切れます
☞ 「定義」
B |割り切れるbは可能ならば、それは何も残りませんが、我々は分裂bは、bはで表さ、割り切れるとして知られていると言います。
どこに「|」割り切れるシンボルと呼ばれます。
☞ 「自然」
①反射性：もちろん、任意の正の整数nのために、そこにnは| nは、
②推移は：;場合| B、B | C | Cがあり、
③反対称：もし| B、B |、= bがあります。
前記一般= bの直接のケースを証明するが、少し使用されていないために③有用な性質、。
そして、複数の除数▎
☞ 「定義」
場合| bは、その後、数をbについて、bはBの倍数でも要因/要因として知られています。
☞ 「推論」
任意の数nは、二つの些細な（1を除く）の要因、すなわち、1とNとを有しています。
ファクターと呼ばれる残りの非自明な要因。
プライムと合成数▎
☞ 「定義」
正の整数p≠0,1を設定してください。それが1に加えなし他の除数Pにいた場合は、pが素数、そうでない場合は合成数と呼ばれています。
☞ 「推論」
合成数である場合、P、Q> 1 = PQ、として表すことができ、次いで、その後p及びqは√Aよりも多くを持っていないので、数が素数O（√Nであるか否かを判断ある必要があります）アルゴリズム。