Date: Feb 24, 2013 2:02 PM
Author: Frederick Williams
Subject: Re: Problems with Infinity?
> As Kronecker put it, "God made natural numbers; all else is the work of
> man", therefore denying the existence of higher cardinals (or even
> finitism) is a valid philosophical approach - after all, you can get
> many interesting results by negating the axiom of infinity...
Indeed so, ZF with AxInf replaced by its negation yields a theory
mutually interpretable with first order PA.
When a true genius appears in the world, you may know him by
this sign, that the dunces are all in confederacy against him.
Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting