Text this: Notas sobre la matemática formal e introducción a la teoría de conjuntos