[FOM] Improving Set Theory

[Harvey Friedman]

ZFC has become the standard foundation for mathematics since about
1920. Alternatives have been proposed but not widely endorsed at least
not yet.

I am particularly interested in what people think is lacking or is
flawed about ZFC.

What needs exploring is to what extent and how can ZFC can be
adjusted, modified, improved to meet such objections or requirements.

My general thesis is that ZFC is extremely flexible and supports many
modifications in many different directions for may different purposes,
and that such modifications or adjustments of ZFC are far preferable
to any kind of overhaul in f.o.m.

Harvey Friedman