• Системы логики, характеризующиеся попыткой сведения логических рассуждений к формальным вычислениям