Theory change, ancient axiomatics, and Galileo's methodology (Reidel, 1981)