Seol mar théacs é seo: Lógica y enseñanza de la matemática