Shock and surprise are relative to a prior state of belief. The belief that mathematics reduces to logic, and that of a purely deductive sort from given axioms, seems to be a fairly recent notion and never universally shared. All of which brings us back to the question of locating mathematical inquiry in relation to inquiry in general. Regards, Jon