Tienen como objeto de estudio entes ideales y los métodos que empleen son generalmente le deducción y la demostración, así tenemos a la matemática pura y la lógica.