Axiomatic geometry made its debut with the Greeks in the sixth century BC, who
insisted that statements be derived by logic and reasoning rather than trial and error. We
have the Greeks to thank for the axiomatic proof. (Though thanks would likely be slow in
coming from most high school geometry students.)