If we answer false, then there must be an infinite prime number. But infinity is not a number and we have a contradiction. If we answer true, then there must be a greatest prime number. But Euclid proved otherwise and again we have a contradiction. So does the set of all prime numbers contain all finite elements with no greatest element? How is that possible?

  • 69
    $\begingroup$ Forget about the primes... How does the infinity of natural numbers look like to you? Will you present the same "arguments"? $\endgroup$
    – Metin Y.
    May 6, 2013 at 0:23
  • 9
    $\begingroup$ An easier example to think about: The set of whole numbers consists of finite numbers and has no greatest element. If $N$ were the greatest element, then $N + 1$ is also a whole number but it is greater than $N$, a contradiction. $\endgroup$ May 6, 2013 at 0:23
  • 13
    $\begingroup$ Your argument doesn't make any sense. You talk about having an "infinite prime number", but prime numbers are natural numbers by definition. $\endgroup$
    – nigel
    May 6, 2013 at 0:25
  • 36
    $\begingroup$ Sets of natural numbers can be infinite, natural numbers cannot. $\endgroup$ May 6, 2013 at 0:31
  • 21
    $\begingroup$ @vi.su. The opposite was proved 2,338 years ago. $\endgroup$
    – Jim Balter
    May 6, 2013 at 6:44

6 Answers 6


Every natural number is a finite number. Every prime number (in the usual definition) is a natural number. Thus, every prime number is finite. This does not contradict the fact that there are infinitely many primes, just like the fact that every natural number is finite does not contradict the fact that there are infinitely many natural numbers. You can have infinitely many finite things, and there won't ever be a biggest exemplar.

To make things a bit more complicated (and a lot more interesting), there are extensions of the set of natural numbers that do contain infinite numbers, and even infinite prime numbers. For instance, in any hyperreal extension of the reals, there is a system of hypernatural numbers. Some of these hypernatural numbers are finite and some are infinite. The finite ones are just a copy of the usual set of natural numbers and the primes in it are the usual primes. For the infinite hypernatural numbers, there are also prime numbers. For instance, the hypernatural represented by the sequence $(2,3,5,7,11,13,17,19,\cdots )$ is an infinite prime number.

  • 31
    $\begingroup$ If OP doesn't "get" the standard infinite sets and their finite members, mixing in infinite numbers isn't the brightest idea of an explanation... $\endgroup$
    – vonbrand
    May 6, 2013 at 0:37
  • 22
    $\begingroup$ As I wrote in a now-deleted comment, one must resist the temptation of mentioning non-standard models. Those are delicate and confusing... $\endgroup$
    – Asaf Karagila
    May 6, 2013 at 0:40
  • 25
    $\begingroup$ The first paragraph explains the situation clearly. The second one opens a door, and, perhaps, is appealing to some intuition OP has that while not standard is also not wrong. Especially that all the infinitude or primes together neatly come together to produce a single infinite prime number, quite like OP seems to think is the case without hypernaturals. $\endgroup$ May 6, 2013 at 0:44
  • 6
    $\begingroup$ @cyclochaotic yes, there are sequences of (distinct, if you prefer) integers that approach infinity. On the other hand, any single fixed element is finite, and does not approach anything. $\endgroup$
    – ronno
    May 6, 2013 at 4:11
  • 8
    $\begingroup$ @cyclochaotic You seem to think of "approaching infinity" as getting "close to" infinity. This is not really the right way to think about it; since infinity is not a number, it doesn't make sense to think of particular numbers as being "close to" infinity. In other words, infinity isn't some sort of "ceiling" on the integers. Instead, it may be useful to think of "approaches infinity" as meaning "gets arbitrarily far away from 0." $\endgroup$ May 6, 2013 at 4:14

A prime number is an element of the set of all prime numbers, and as an element of that set, a prime number has no cardinality.

The set of all prime numbers is countably infinite (in cardinality, equal to $|\mathbb N|$): there are (adverb) infinitely many primes.

That's not to say there is a prime that is infinite. But you are correct that "infinity is not a number" here. The set being "infinite" means that no matter how large a prime number you name may be, there is yet a larger prime than that...and after that, yet a greater prime, and so on. There is no end point at which you arrive at the largest prime number.

It is true that set of all prime numbers less than or equal to some positive integer $n$ is finite. But there are then infinitely many more primes greater than $n$, whatever particular $n$ you choose.

  • 2
    $\begingroup$ To add to the confusion, one can manipulate an object called 'infinity' in many ways similar to the manipulations that govern natural numbers. But one does not refer to infinity in common parlance as a number (presumably a natural number). $\endgroup$
    – Mitch
    May 6, 2013 at 3:07
  • 2
    $\begingroup$ We do, though. 3 is a finite number. $\omega_0 + 3$ is an infinite ordinal number. The cardinality of $\mathbb{R}$ is an infinite cardinal number. And we say "a finite number of foos" very often, which is "speaking of a number being finite". $\endgroup$ May 6, 2013 at 17:14
  • $\begingroup$ Yeah, natural number in Peano Arithmetic might not have a cardinality, but natural number as finite ordinal number in ZFC has a cardinality. But I don't know whether this is really related to the question of the OP. I guess the OP has another confusion and thinks the set of prime numbers is bounded, which would be possible for sets of ordinals, for example {0,1,...,omega}, the set omega+1 is bounded. $\endgroup$
    – user4414
    Jun 6, 2018 at 21:27

Are all prime numbers finite?


If we answer false, then there must be an infinite prime number.

That follows ... but we didn't "answer false", so we don't have to worry about it.

But infinity is not a number and we have a contradiction.

Whether or not infinity is a number, there are infinite (or "transfinite") numbers. And even if there weren't, this still wouldn't be a contradiction, any more than "Not all horses are ugly" is a contradiction just because beauty is not an animal. This isn't about logic or math, it's about misuse of the English language. In any case, we didn't "answer false", so we don't have to worry about this supposed contradiction.

If we answer true, then there must be a greatest prime number.

No, that does not follow at all. All primes are finite, but there is no greatest one, just as there is no greatest integer or even integer, etc. That there are infinitely many of something doesn't require that any of them be infinite, or infinity, or greatest.

Consider for instance the non-negative reals less than 1: [0, 1). There are of course infinitely many of them, but they are all finite (less than 1, in fact), and there is no largest one. (Proof: suppose there were a largest one, L. Then (L+1)/2, which is halfway between L and 1, would also be in the set but would be larger than L. That really is a contradiction.)

But Euclid proved otherwise and again we have a contradiction.

He did, but there is no contradiction.

So does the set of all prime numbers contain all finite elements with no greatest element?


How is that possible?

There's no reason for it to be impossible, and Euclid proved it not only possible but true. You appear to have assumed it impossible in order to reach your conclusion of a contradiction, which is a circular argument.

  • 4
    $\begingroup$ @Jaydee: Because there isn't a last one; there's always more. Suppose there were just a finite number of natural numbers, like 5,024. Then we couldn't have a 5,025th number. But that's absurd. $\endgroup$ May 6, 2013 at 17:19
  • 2
    $\begingroup$ This is about logic and math. But most of your points are valid. Assuming a greatest element must exist is a misconception. In addition, I maintain that I communicated my perplexity very effectively via the English language. $\endgroup$ May 7, 2013 at 1:48
  • 1
    $\begingroup$ @Jaydee. Think of it in terms of even numbers. There is a bag of natural numbers. I reach into the bag and grab a $2$ and put that into the set of even numbers. I reach into the bag again and grab a $4$, then a $6$, and so on. If I pull out a $2n$ and someone challenges me to find a greater even number, the natural numbers produces $2n+2$. The natural numbers has the property of being an unlimited source. We describe this by saying that the set of even numbers has "infinitely many" elements, yet every single element is finite! $\endgroup$ May 7, 2013 at 13:10
  • 2
    $\begingroup$ +1 for cut and dry answers, but also for, "There's no reason for it to be impossible", even though that's about as satisfying as, "an infinite set is a set that's not finite" xD $\endgroup$
    – user18862
    May 9, 2013 at 1:27
  • 6
    $\begingroup$ "the staircase can be infitly long without being infinitly high" -- The correct statement is that, given an infinitely long and infinitely high staircase, no individual step is infinitely high ... nor, to reach that step, will you have gone an infinite distance. But because no step is the last step, the staircase itself is infinite. $\endgroup$
    – Jim Balter
    May 9, 2013 at 10:34

You can have an infinite number of objects, each with finite size, the sequence of which is not bounded, so yes all primes are finite... by definition of a prime number almost. It's meaningless to talk about a natural number being 'infinite' until you define that term.


The modern definition of an infinite set is one which can be expressed in a one to one relationship with a subset of it self: eg: 2 4 6 8 and 1 2 3 4. this video produced by bbc horizon explores infitity, why there are at least two sizes of infitity... yup and many more aspects of infinity and its very wachable too... http://www.youtube.com/watch?v=FiMigmLwwTM

The answer to your question is that you question is not a correctly stated mathematical problem in the english language. You are mixing up values within a set and the number of values within that set.

This response was written before the question was edited. Still recommend the video though.

  • 3
    $\begingroup$ That's inaccurate. The modern definition of an infinite set is a set which cannot be put in one-to-one correspondence with a bounded initial segment of the natural numbers. That is the canonical definition of finite. Dedekind infinite sets are those which can be injected into a proper subset. While the integers are certainly both, and assuming the axiom of choice every infinite set is Dedekind-infinite (and vice versa), when we say "infinite" we really just mean "not finite". Do note that we can characterize "finite" without appealing to the integers, Tarski has such a characterization. $\endgroup$
    – Asaf Karagila
    May 6, 2013 at 15:36
  • $\begingroup$ Just to finish the above comment, Tarski's definition of finite is as follows, a set $X$ is finite if and only if whenever $\mathcal U\subseteq\mathcal P(X)$ is a non-empty family of subsets of $X$, then $\cal U$ has a $\subseteq$-maximal element. This definition doesn't refer to the integers at all, and does not require the axiom of choice to be true. Interestingly, however, if we replace "family of subsets" by "$\subseteq$-chain" then one needs to use the axiom of choice to prove the equivalence. $\endgroup$
    – Asaf Karagila
    May 6, 2013 at 15:38
  • $\begingroup$ The question wasn't edited, only the tags were. The original question was just as absurd as what we see here. $\endgroup$
    – Jim Balter
    Nov 16, 2023 at 21:40

The answer depends on what you mean by number and in fact there are infinite prime numbers if and only if there are infinite numbers, by the tranfer principle. Namely, consider the first order statement that for every $n$, there is a prime $p$ greater than $n$. By transfer this is true for all $n$ including a particular infinite $n=H$. But any prime $p$ greater than $H$ would also be infinite.


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .