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.