Alcances y límites del logicismo neo-fregeano de Bob Hale y Crispin Wright: una revisión crítica de su desarrollo de la aritmética en relación con su ontología abstracta