Re: Implementable Set Theory and Consistency of ZFC

aatu.koskensilta@xxxxxxxxx wrote:

Notice that if HdB is right, he'll have shown that
ZF-Infinity is finitely axiomatizable, which doesn't
seem right at all (since after all, not even PA is
finitely axiomatizable).

Why doesn't it seem right? Recall that there are conservative
extensions of PA that are finitely axiomatisable.

There's an update of the paper (mainly correcting some minor errors):

http://hdebruijn.soo.dto.tudelft.nl/jaar2007/set_theory.pdf

Han de Bruijn

.