FOM: RE: Axion's objetive
KCooper at transcept.com
Wed Jan 9 09:22:43 EST 2002
> 1)there are not infinitely many elements
> 2)for the naturals we can get the 0,the sucesor axiom but not the
> induction one.
> 3)all the infinite sets only can be given as the rule ( finite ) to get
> its elements..
> Does someboddy know some work near this?
Well, you should take a look at Harvey Friedman's posting relating
subsystems of arithmetic to subsystems of set theory ("76: Finite set
Others on the list probably could tell you the state of discussion among
set theorists of such subsystems of set theory.
More information about the FOM