triplico ciencias formales según Mario Bunge y ciencias formales