Разработка математики в направлении большей точности привела к тому, что он привел к формализации больших участков, так что можно доказать любую теорему, используя только несколько механических правил.