 Van Atten (2003 en 2007) uses phenomenology to justify choice sequences as mathematical objects. The author (2002) is critical about Brouwer’s justification of choice sequences, which is the motive to look for a philosophical justification elsewhere. Choice sequences occur in the work of Becker (1927) and Weyl, but they differ from Brouwer’s notion, and Husserl never discussed choice sequences publicly. Van Atten explains how the homogeneity of the continuum accounts for its inexhaustibility and nonatomicity, two key properties of the intuitive continuum according to Brouwer. Using the fact that these two essential properties are present in the definition of choice sequences, one arrives at a phenomenological justification of them. 