仮に素数が無限だとする。
素数は整数の部分集合である。
しかし素数が無限であるとすると、整数と素数は同じ数になる。
これは素数が整数の部分集合であるということと矛盾する。
よって素数は有限である。