Los objetos de la ciencias formales son ideales