Un subconjunto del plano que tiene dos y solo dos puntos en com

un con cualquier recta.

Denotemos por c el primer ordinal con la potencia del continuo, y supongamos que el conjunto de todos los puntos del plano, as como todas las rectas del plano estan bien ordenados
de acuerdo con c . Si x es un punto arbitrario del plano y P es cualquier recta, los denotaremos por {x } y {P }, para < c , respectivamente.
Ahora definimos el conjunto A {y }, < c que cumple con lo siguiente:
1. Entre los puntos del conjunto de todos los puntos del plano, y1 es el primer punto de
la lnea P1 ,
2. Sea > 1, A es el conjunto {y }, < < c .
Y sea B el conjunto de todas las rectas que tienen al menos dos puntos en com
un con A .
La potencia del conjunto A es menor (estrictamente) que la potencia del continuo, as como
la potencia de los siguientes conjuntos: el conjunto de todos los pares de puntos del conjunto A (esto es, el conjunto de todas las parejas (y , y ), , < ) y el conjunto C de
todas las lneas definidas por las parejas de puntos de A . El conjunto de todas las rectas
del plano contiene algunas rectas que no pertenecen a B , denotemos por D a la primera
de ellas, sea E el conjunto de puntos de interseccion de la reta D con elementos de B ,
dado que cada una de estas rectas corta a D en un solo punto, el conjunto E tiene potencia
menor que la del continuo, se sigue que el conjunto de todos los puntos en el plano contiene puntos que estan en D y no estan en E o A . si x es el primero de ellos, hacemos y = x .
Aseguramos que el conjunto A definido anteriormente tiene dos puntos en com
un con cada
recta y solo dos puntos.
De la condicion (2) se sigue que si una recta arbitraria tiene a lo mas dos puntos en com
un
con el conjunto A , el conjunto A+1 tiene la misma propiedad, como A2 tiene u
nicamente
un punto, cada recta tiene a lo mas dos puntos en com
un con A, esto se sigue facilmente,
usando el principio de induccion trans-infinita.
De otro modo consideremos que el conjunto de todas las rectas del plano contiene rectas que
no tienen puntos en com
un con A, o solo un punto en com
un, sea P la primera de estas
lineas y sea F el conjunto de los puntos de A que estan en {P }, < + 1, como la potencia
de F es menor que la del continuo, existen puntos en A que podemos poner despues de todos
los puntos de F , as pues, hay puntos que no pertenecen a F , sea y el primero de ellos, por
hipotesis, consultando (2), y esta en P , por lo tanto y F , lo cual contradice la eleccion de
y.