El modelo cardinal Segn uno de los modelos que establecen la lgica como requisito previo, los nios deben

entender la clasificacin antes de poder comprender el significado esencial del nmero. Esto implica aprender a defInir un conjunto, es decir, a clasificar objetos para poder asignar cada uno de ellos a un conjunto correcto. Por ejemplo, un conjunto de formas curvas puede incluir c, C, u, U, s, S y O, pero no L, v, V, F y #. La lgica de clases comporta comprender la idea de conjuntos equivalentes. La equivalencia de dos conjuntos se define mediante una correspondencia biunvoca: Dos conjuntos pertenecen a la misma clase si se puede establecer una correspondencia biunvoca entre sus elementos resrectivos. La equivalencia y la correspondencia biunvoca, que
son e fundamento de la matemtica formal, se consideran el fundamento psicolgico del aprendizaje de las matemticas.

Conceptos relacionados con contar Al principio, los nios se limitan a recitar nombres de nmerosPor ejemplo, Arianne, a los 22 meses, canturrea dos, cinco, dos, cinco Principio del orden estable. Con el tiempo, a medida que los nios usan sus tcnicas para contar y reflexionan sobre ellas, aprenden a descubrir regularidades importantes en sus acciones de contar y en los nmeros. Principio de unicidad. Como una funcin de contar es asignar valores cardinales a conjuntos para diferenciarlos o compararlo Principio de abstraccin. Los nios tambin pueden aprender cmo definir un conjunto para poder contarlo. El principio de abstraccin se refiere a la cuestin de lo que puede agruparse para formar un conjunto Principio del valor cardinal. Mediante la imitacin, los nios pueden aprender fcilmente la tcnica de contar denominada regla del valor cardinal, es decir, basarse en el ltimo nmero contado en respuesta a una pregunta sobre una cantidad

Conceptos de equivalencia, no equivalencia y magnitud Una vez el nio ha llegado a dominar estos conceptos bsicos para contar que se refieren a un solo conjunto, la accin de contar puede aplicarse a contextos mas complicados como la comparaclon de dos conjuntos. Tambin puede emplearse la accin de contar para descubrir que la apariencia no es pertinente para determinar si dos conjuntos son iguales o no. Si un nio cuenta dos conjuntos y los nmeros resultantes son idnticos, puede llegar a la conclusin de que los conjuntos tienen el mismo nmero de objetos a pesar de sus diferencias en cuanto a aspecto.