friv que es la ciencia formales