FOM: cardinals in ZFC fragments

[Adrian-Richard-David Mathias]

There was a student of Carol Karp called R.J.Gauntt who had a proof 
of the consistency (relative to that of ZF) of the theory 
ZF minus foundation plus "no formula defines cardinal". 

A.R.D.Mathias, 
   Professeur de Mathématiques Pures

Département de Mathématiques et Informatique,
Université de la Réunion
15, Avenue René Cassin BP 7151
97715 St Denis de la Réunion, Messagerie 9,
France

bureau:     00262 262 93 82 88
télécopie:  00262 262 93 82 60