Es un programa que se realiza dentro del proyecto Círculos Matemáticos Colombia, (centralizado por la Sociedad Colombiana de Matemáticas). Se organizan 8 sesiones al semestre con estudiantes de grados 6, 7, y 8 de Bogotá.

Es una cartilla que introduce de manera completa (y sin asumir conocimientos matemáticos fuera de aritmética de primaria) los conceptos centrales de la matemática formal. Comieza estudiando estructuras cotidianas (grupos familiares y sociales) e introduce conceptos centrales para la actividad matemática como las definiciones, las afirmaciones cuantificadas, las conjeturas y contraejemplos y los teoremas y demostraciones.