Las matemáticas y la lógica son ciencias formales porque no tienen ningún objeto material de estudio sino la “formas” válidas de inferencia.