I’d say that student 2 is correct. Calling Newton’s laws Axioms means that they are being assumed to be correct for the formal system of classical mechanics. But the laws still need to be verified to know whether the formal system itself is “valid” or a good description of nature.
.
