德国数学家和逻辑学家。运用当时在数学领域尚未使用的逻辑符号(如代表“或”、“如果—那么”等的符号)，扩展了^*布尔(Boole)关于符号逻辑的研究。现在逻辑学中逻辑符号很普遍。出版一部巨著，将符号逻辑运用到算术中。贝特兰·*罗素(Russell，Bertrand)提出一个悖论，这一分析因此被否认。弗雷格体系中某些事物的组或类并非他们自身的成员，例如，组[所有的猫]本身并非一只猫。而有些事物的组或类为他们自身的成员，例如，组[所有非动物]本身并非动物。罗素提出的矛盾说法为：(所有并非为其自身成员的组)是不是其本身一员?