At exactly the same time a direct method is necessary for the fresh new evidence of the latest compatibility of your own arithmetical concepts