Cuántos números reales tienen la propiedad de que

Para que todos los procedimientos matemáticos usados sean válidos se debe partir de una base que respalde cada procedimiento, cada paso lógico usado, y debe, en consecuencia, demostrarse cada afirmación no trivial. Son estas demostraciones los pilares fundamentales de toda rama de las matemáticas, ya que sin ellos puede ponerse en duda la veracidad de cualquier afirmación.
Las afirmaciones a las que se hace referencia se llaman "axiomas". Serán, por lo tanto....