Mathematics is an experimental science, and definitions do not come first, but later on.