Back in the 80s, we learned the Euclid axioms and postulates in geometry class which was around 8th grade. Not sure what is taught these days.

Edit: I think that was the first class where we learned about proofs and we solved so many that I really get the hang of it.