Distinguiendo diagramas infinitos

La literatura filosófica ha distinguido excepcionalmente entre la demostración matemática y su expresión. La importancia de vindicar tal distinción reside en que las propiedades de la expresión no necesariamente lo son de la demostración. Esta afirmación alcanza naturalmente a las demostraciones heterogéneas; en ellas, por definición, la expresión combina componentes visuales y componentes lingüísticos. La distinción apuntada resulta especialmente valiosa si se intenta elucidar ciertas propiedades de los diagramas o figuras que intervienen en tales contextos. El objetivo de estas notas es concentrar la atención sobre una propiedad particular (la infinitud) y esbozar una clasificación rudimentaria de diagramas infinitos.