No.11400464 ViewReplyOriginalReport
What does it mean for a number to "exist"?
Does it have to be constructible? Part of a constructible set? Does the construction have to be consistent?