Student A is correct in the context of formal systems. Newton’s laws function as axioms or postulates and are therefore not proved within Newtonian mechanics. What we usually prove in physics courses are consequences of these laws. For example, starting from Newton’s second law F= dp/dt, we can derive F=ma for constant mass. Such results are derivations from the axioms, not proofs of the axioms themselves.