的中心活动。一个定理陈述一个给定类的所有（全称）元素一种不变的关系，这些元素可以是无穷多，它们在任何时刻都无区别地成立，而没有一个例外。（例如：某些formula_1是formula_2，某些formula_1是formula_4，就不能算是定理）。猜想是相信为真但未被证明的数学叙述，或者叫做命题，当它经过证明后便是定理。猜想是定理的来源，但并非唯一来源。一个从其他定理引伸出来的数学叙述可以不经过成为猜想的过程，成为定理。如上所述，定理需要某些逻辑框架，继而形成一套公理（公理系统）。同时，一个推理的