friv que es ciencia formal