Язык математической логики, ставший символическим языком современной математики, возник в тот момент, когда неудобство математического языка для нужд математики было окончательно осознано. Так же, как и символизм алгебраических выражений, новый символизм прояснил механическую природу многих преобразований, позволил дать простые алгоритмы их осуществления, и тем самым освободил головы математиков для более важных дел.