Si no, ¿a cuántos puntos se puede garantizar?
También, no estoy seguro acerca de mi etiqueta. Este es un bonito tema general. Pensé Topología General está cerca.
EDITAR: Alguien parafraseado esta muy bien. "Vamos a $S\subset [0,1]^2$ ser incontables. Hay una línea que contiene una infinidad de puntos de $S$?"