Can Modalities Save Naive Set Theory? - Peter Fritz; Harvey Lederman; Tiankai Liu; Dana S. Scott (Rev. Symb. Log., 2018)