11
$\begingroup$

According to my readings, Russell showed that a principle Frege used to reduce Peano arithmetic to logic lead to a contradiction. So, Russell tried to reduce mathematics to logic a different way but realized that he needed things such as an infinity axiom to get his reduction off the ground. But of course, that there are infinite collections is not just a matter of logic. So it seems that Russell just had to stipulate an infinity axiom. (This is just background.)

So, in modern set theory, is the axiom of infinity just stipulated? Or is there an argument for its truth?


Some directions:

G. Boolos derived the ZFC axioms from the iterative conception of set, and thus gave a motivation or argument in favor of the axiom of infinity.

Or, someone might think, as Cantor did, that all consistent mathematical results have (material?) instantiations in nature. Much of mathematics is dependent on the natural numbers, the real numbers, etc., and thus there is reason to accept axioms of infinity.

There are some similar threads to mine:

  1. Math without infinity?
  2. Do infinity and zero really exist?
  • 0
    @pichael: Deleting it is probably wrong: other threads I've seen have simply been closed as a duplicate. I've made a vote to close as duplicate (My first one since getting the power), but since nobody else has, I suppose the topic is interesting enough that people want another thread on it.2012-06-09

6 Answers 6

1

The Axiom of Infinity in ZFC, gives you a successor function $S(x)=x\cup \{ x \} $ from which you can construct the equivalent of the infinite set of natural numbers.

If you find that a bit strange, as I do, another approach is to simply define the natural numbers by means of some equivalent of Peano's Axioms which describe the required properties of a successor function on the set of natural numbers in set-theoretic terms, as you would, say, for the group or ring axioms.

Still another approach is to construct the set of natural numbers starting from the axioms for a complete ordered field (the real numbers).

  • 1
    The Wiki article on ZFC makes clear mention of a successor function$S$under the heading "Axiom of Infinity" http://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory#7._Axiom_of_infinity2012-06-13
11

If you believe in the set of natural numbers you already accept the axiom of infinity. For most mathematician existence of the set of natural numbers is an intuitively clear fact that doesn't need an argument so mathematicians are typically not bothered with the axiom. In addition lots of classical mathematics depends on such infinite concepts.

The question of accepting or rejecting such an axiom is mainly interesting for philosophers not mathematicians. One can reject the axiom of infinity (such people are often called finitists) but most mathematicians do not. They believe in the existence of the set of natural numbers and therefore see the axiom of infinity as a trivially true fact.

  • 1
    Sorry, but we are not discussing your beliefs here (which seem to be some restricted flavor of constructive mathematics, which is again different from finitism), not discussing which philosophy of mathematics is the right one (assuming there is one). Classical mathematicians, which historically make very large majority of mathematicians, believe in existence of N as an object. Many constructists also accept axiom of infinity, e.g. look up the intuitionistic set theory IZF.2018-06-04
10

A finitist, who rejects the axiom of infinity, will be denied both the Dedekind and Cauchy constructions of real numbers. The problem? The reals are uncountable (Cantor showed this), and in a finitist's universe, the universe itself is countable.

$V_0=\varnothing$

$V_{n+1}= \mathscr P (V_n)$ where $\mathscr P$ denotes the powerset.

The universe if we accept the negation of the axiom of infinity is $V_\omega=\bigcup_{x\in\omega} V_x$, a countable union of at most countable sets.

  • 0
    One can work with recursive reals which are countable. ps: one doesn't need to be a finitist to reject the classical reals à la Dedekind/Cauchy.2012-06-09
9

It is possible and interesting to have as our axiom system the usual ZF, but with the Axiom of Infinity replaced by its negation. The resulting theory, which one might call the theory of (hereditarily) finite sets, turns out to be bi-interpretable with first-order Peano arithmetic.

4

As a formalist, I echo the comment of Neal that says "axioms are, by definition, stipulated". The real question is whether the structure so axiomatized is interesting, or worth study.

As many mathematicians make arguments that involve a set of natural numbers, it follows that a good universe of sets should include a set of natural numbers. Whether its existence is an axiom or a theorem is not really important; that's merely matter of exposition. Exposition is important of course, but I wanted to emphasize that's all it is.

Now, I also like to observe the close analogy between logic and set theory. IMO, that's really the main reason why set theory has attained the importance it has: it's really just a systematization of the things we like to do with logic.

For example, if I decide to play at being a finitist and consider finite set theory, I can still meaningfully say the word "natural number", and consider predicates like "$x$ is a natural number". This lets me say things about the class of natural numbers, consider class functions on the natural numbers like $f(x) = x+1$, consider predicates on the class of natural numbers like "E(x) := $x$ is even", quantify predicates over the natural numbers such as $\forall x \in \mathbb{N} : E(x) \leftrightarrow \neg E(x+1)$, and so forth.

And because I can consider predicates like E(x), this means I can also talk about the class of even natural numbers.

If I can consider one variable denoting a natural number, I can consider two variables denoting natural numbers: I can talk about the class $\mathbb{N} \times \mathbb{N}$.

If one is of the sort to focus on such things, one can talk about mechanically translating all such statements into equivalent statements in an untyped language of finite set theory, and keep thinking in the back of one's mind that one is actually working with these untyped statements rather than the more suggestive ones the notation indicates.

While such a translation is possible, and it's a good thing to know, I think the way of thinking is unjustified -- the fact that translation is possible means that you should have no qualms about thinking in terms of the new and suggestive ideas rather than handicapping yourself with a restrictive thought process.

So really, when I'm playing at being a finitist, I still have access to a limited amount of set theory that includes a set of natural numbers. NBG set theory codifies this into having "sets" and "classes". NBG with anti-infinity has two sorts of objects: sets, and classes. The natural numbers would be a (proper) class. I assume that in the presence of anti-infinity, NBG is still 'equivalent' to ZFC.

If I further allow myself to consider second-order logic, I can do more. My objects now include first-order predicates. I can consider the second order predicate "$\varphi(P) := \forall x: P(x) \implies x \in \mathbb{N}$". In other words, I can now talk about subsets of the natural numbers.

If I don't stop there and go all the way up to higher order logic, then I can do this for every type. In the logic-set theory analogy, I now consider power sets. I assert that this means that all of the types I can talk about are organized into a Boolean topos with natural number object -- in other words, that the higher order logic of finite set theory is an instance of the first-order logic of bounded Zermelo set theory (with infinity). Bounded means that I'm never allowed to just say $\forall x: \cdots$ instead, $x$ must be bound to some set/type, as in $\forall x \in T: \cdots$.

Because of all of these things, I am thoroughly unpersuaded when a finitist rejects the notion of a set of natural numbers. I could understand being restrictive in what sorts of things you can do with said set, but rejecting it outright is, IMO, a silly notion which I ascribe more to simply having a contrary attitude than substantive content.

  • 0
    , the use of epsilon notation in place of existential quantifiers in his and his students work is not just a matter of taste. Some experts consider quantifier-free PRA as an upperbound for finitism (e.g. Bill Tait?). IIRC, for a finitist a quantified formula always comes with a bound. (Unfortunately I cannot think of a reference right now, I might have read these in Kleene's "Metamathematics"). What you are describing seems more in line with constructive schools like intuitionism. Finitists accept way less than what intuitionists accept.2012-06-11
2

Frege's set theory leads to contradictions and we aim to move away from it by using Zermelo set theory or NBG set theory, however to move into these more developed (or more constricted) types, we need to define the universe very well in how our classes and sets behave.

Recall that a class is a basic universe if it follows 6 specific axioms, for the class to be transitive, swelled, to include the empty set and the power set of any x in the class, to include any union of any x in the class and to include {x,y} for any x and y in the class.

We cannot move onto Zermelo set theory or NBG by the definition of the universe I have just given; we add in a new axiom, we accept that the set of natural numbers can be included in our universe, which is now no longer basic and thus a Zermelo universe.

I would argue that the axiom of infinity guarantees the existence of infinite sets, however arguments such as a large amount of work being placed on the natural and real numbers are poor ones for the support and supposed truth of the axiom of infinity, say we find out that this axiom causes trouble to some framework; our arguments for placing huge emphasis on the real and natural numbers do us no favour at this point, rather we use the axiom to construct set theory further.