Upvoted on reflection for the part I quoted, which either answers the question or gives us some reason to distinguish R-in-L (the set we’d call the real numbers if we endorsed the statement “V=L”) from “the-real-numbers-as-we-know-them”.
Upvoted on reflection for the part I quoted, which either answers the question or gives us some reason to distinguish R-in-L (the set we’d call the real numbers if we endorsed the statement “V=L”) from “the-real-numbers-as-we-know-them”.