Existence and Feasibility in Arithmetic