tienen por objeto de estudio ideas abstractas como la lógica y la matemática