A mathematical idea should not be petrified in a formalised axiomatic setting, but should be considered instead as flowing as a river.