Математическая идея не должна оказывать окаменели в формализованной аксиоматической настройке, но должна рассматриваться как текущая как река.