688.The axiom V = Ultimate-L and Goldberg's Ultrapower Axiom
发布人