 He charges that we need a demonstration that there are any objects which satisfy those axioms.The “toil” here is the work of formulating definitions of the numbers so that they can be shown to satisfy the axioms using logical inference alone.