Mi atrevimiento era posterior a la primera explicación que me dió feriva (y todavía debo reflexionar e informarme mejor sobre estas cosas, lo cual incluye a ese suuuperPárrafo que hay por ahí) ... y si esa exposición mía (poco rigurosa y "al vuelo") no la ha comprendido él
Pues explícamela de otro modo distinto para que te entienda; es lo que se hace en matemáticas; se hace mucho, si no te entienden de una manera, lo explicas de otra, buscas una alternativa.
Pero, en cualquier caso, la cuestión básica es ésa, un número racional es un número de una cantidad finita de cifras, con coma o sin coma (los enteros son racionales, están contenidos) y un número irracional tiene siempre infinitas cifras; y siempre tienen coma. Si le quitas la coma, en el modelo estándar no es un número, como ya se ha dicho, pero existe un modelo no estándar y cosas más teóricas de Cantor como los números transfinitos que ha mencionado Fernando (tema del que yo no tengo ni idea).
Sin embargo, los números reales, los “de verdad” o del modelo estándar, o sea, los que usan para todo los estudiantes, los economistas, los ingenieros, los matemáticos normales... son números como te he dicho, de valor finito siempre.
Creo que, si le quitas la coma a \( \pi \), en ese mundo no estándar sí se define o definiría como “número”, pero nunca como número natural, sino más bien sería “hipernatural” (creo que sería eso, porque no sé casi nada del tema). Ten en cuenta, además, que el modelo no estándar es muy moderno, lo inventaron cuando yo hacía el bachillerato (así que de anteayer, porque soy un niño, o casi
)
https://es.wikipedia.org/wiki/N%C3%BAmero_hiperrealSaludos.