Lo más esquemático posible:
Hay entes matemáticos que cumplen una serie de propiedades. Si decidimos llamar
achilipu a cualquier ente matemático que cumple una propiedad \( P \) entre los que está el \( 0 \), entonces \( 0 \) es
achilipu. Si en una determinada teoría nos conviene por razones \( x \) decir que \( 0 \) es el único que no es
achilipu, cambia la denominación, no hay ni el más mínimo problema conceptual, ni siquiera de comunicación avisándolo previamente.
Las propiedades del \( 0 \) (en general de cualquier ente bien definido) son invariantes respecto a denominaciones. Por ejemplo los
algebristas conmutativos cuando dicen "
Sea \( A \) un anillo", nos han avisado previamente que excluyen los no conmutativos y los no unitarios dentro de su contexto. "No problem".
Saludos.
