Higher set theory and mathematical practice (1971)

by Harvey Friedman
Venue:Annals of Mathematical Logic