Математическая логика

Математическая логика (или теоретическая логика, символическая логика)(англ. mathematical logic, symbolic logic, formal logic or modern logic, нем. Mathematische Logik) — раздел математики, изучающий доказательства и вопросы оснований математики.