منطق : منطق روش درست فکر کردن است . از میان انواع منطق و کاربردهای آن ، منطق ریاضی روش درست استدلال کردن در ریاضیات را به ما می آموزد.به بیان دیگر اگر ریاضیات را به عنوان یک زبان برای اتقال مفاهیم و اطلاعات در نظر بگیریم ، منطق ریاضی دستور این زبان است.
