[FOM] RE: New Axioms

Matt Insall montez at fidnet.com
Mon Jun 30 09:57:41 EDT 2003


[Eisworth]
How do you counter an argument that the principle "sets should behave like
finite sets whenever possible" implies that we must admit infinite D-finite
sets into our mathematical universe?

[Matt]
I have no counterargument that could have been made before the axiom of
choice was adopted by a majority of mathematicians.  The only
counterargument
I have at this time is that the mathematical community has already selected
the axiom of choice, and it implies that all D-finite sets are finite.



More information about the FOM mailing list