|
|
Re: Problems with Infinity?
Posted:
Feb 24, 2013 2:02 PM
|
|
garabik-news-2005-05@kassiopeia.juls.savba.sk wrote:
> 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
|
|
