2是素数，素数一般指质数，质数是指在大于1的自然数中，除了1和它本身以外不再有其他因数的自然数，否则称为合数（规定1既不是质数也不是合数）。
质数的个数是无穷的。因此无论该数是素数还是合数，都意味着在假设的有限个素数之外还存在着其他素数。所以原先的假设不成立。也就是说，素数有无穷多个。
