A modern mathematical proof is not very different from a modern machine, or a modern test setup: the simple fundamental principles are hidden and almost invisible under a mass of technical details.
Hermann Weyl (2013). “Levels of Infinity: Selected Writings on Mathematics and Philosophy”, p.33, Courier Corporation
