We are inclined to overlook this because these axioms are themselves necessary propositions which are the common premisses of all deductions within pure arithmetic.
Then, we ought to add the following as a fourth condition which is necessary if a conjunction of propositions p 1 & p 2 &.