[FOM] Choice of new axioms 1

[John Steel]

Adopting V=L does not help settle questions about what is true in L. (In 
some cases, it blocks a solution, or adds to the work of obtaining one.) 
Adopting V=L does settle all questions about the world outside L, by 
declaring there is no such world.

You can always "settle" a question by refusing to ask it.

To my mind, RVM is in the same boat as any number of other interesting 
propositions about sets of low type beyond the realm in which we have a 
good, coherent, decisive theory (i.e. the realm of reals and definable 
sets of reals.) The statement closest to the boundary of what we can 
decide, but on the wrong side, is CH.

  It's interesting to develop consequences of RVM, and tons of work has 
been done there. That is not the same as adopting it.

John Steel