Eventually the operations were formalized, and concepts about the operations became understood well enough to be stated formally, and even proven.
Зрештою операції були формалізовані, і поняття про операції стали добре зрозумілими, щоб бути формально означеними, і навіть доведеними.