Mathematical logic, also known as symbolic logic, was developed when people finally realized that the tools of mathematics can be used to study the structure of logic itself.
Математична логіка, також відома як символічна логіка, була розроблена, коли люди врешті решт зрозуміли що засобами математики можна вивчати структуру логіки як такої.