Report - Can Modalities Save Naive Set Theory?logic.berkeley.edu/colloquium/ScottSlides.pdf · mathematically motivated version of a \modal naive set theory". 14 / 20. The Model Construction

Please pass captcha verification before submit form