Trata-se de uma proposta didática organizada em nove atividades voltadas para a aprendizagem de sequência Numérica e Progressão Aritmética, centrada no desenvolvimento de habilidades de argumentação e prova matemática, mais especificamente, no desenvolvimento de raciocínios dedutivos que o levou a determinar a generalização de sequências numéricas e a construção da Fórmula do Termo Geral da PA.