NF and indiscernibles in ZF

Abstract:

We show how NF (Quine's "New Foundations") can be seen as a special
model of ZF. First, we give a sufficient condition for [the famous
long-standing open problem of] NF consistency. Next, in the ZF language, 
we will present a much simplified Specker's refutation of AC in NF (= in 
that model of ZF).