Enunciados propios de las ciencias formales y las ciencias fácticas