本课程是以学习初阶逻辑 (First-order Logic) 为目标。自从十九世纪末德国哲学家弗雷格(G. Frege) 认识到数学基础的问题开始，他认为应该替数学找到一个更坚实的基础，由于这样的动机，他成就了创建现代逻辑的非凡成果。