Shoenfield's book "Mathematical Logic" (1967) defines ordinals as hereditarily transitive sets. Andreas Blass -------------- next part -------------- An HTML attachment was scrubbed... URL: </pipermail/fom/attachments/20150505/313354c7/attachment-0001.html>