Ciencias formales
De Wikipedia, la enciclopedia libre
Las ciencias formales son aquellas ciencias que establecen el racionamiento lógico y trabajan con ideas creadas por la mente humana; su método de trabajo es el lógico inductivo, con todas sus variantes. Las ciencias formales estudian el saber en contraposición a las ciencias factuales que estudian el ser.