10 tipos de ciencias formales y ciencias factidas