Hierarchy of second-order set theories

Leave a Reply