Аннотация:
В статье рассказано о становлении формального языка, который стал характерным признаком математики нового времени. Рассмотрены некоторые примеры формальных систем, обсуждается сущность аксиоматического метода.
Ключевые слова:формальный язык, структура, аксиоматический метод.