El documento tiene como objetivo analizar cómo se pueden trabajar los diferentes grados de formalización matemática en el estudio de la probabilidad en niveles educativos no universitarios. Se aplica el modelo de niveles de algebraización para las prácticas matemáticas basado en el enfoque onto-semiótico para identificar los diferentes objetos y procesos involucrados en la resolución de una selección de problemas probabilísticos. Como resultado, describimos la posible progresión desde los niveles aritméticos y proto-álgebraicos de actividad matemática hasta niveles superiores de algebraización y formalización en el estudio de la probabilidad. El método de análisis desarrollado puede ayudar a establecer conexiones entre enfoques intuitivos/informales y progresivamente más formales en el estudio de las matemáticas.