Stav dette: Algunos temas sobre el lenguaje básico de la matemática