FOM: it's provable

Harvey Friedman friedman at math.ohio-state.edu
Wed Mar 3 09:20:21 EST 1999


Reponse to McLarty 1:47PM 3/3/99:

>        "For every T, if T is a finitely axiomatized fragment of ZFC,
>        then ZFC proves Consis(T)"
>
>Do you claim this statement is provable in EFA?

Yes.






More information about the FOM mailing list