Aristotle was the founder of traditional logic, and G-Frege, a famous mathematician of German, was the founder of modern mathematical logic.

亚里士多德是传统逻辑的创始人。弗雷格，德国著名的数学家，逻辑学家，是现代数理逻辑的创始人。

youdao

As a logic concept, presupposition was first proposed by Germanicphilosopher G. Frege, who is also a logician and mathematician.

“预设”作为一个逻辑概念，是德国哲学家、逻辑学家和数学家弗雷格首先提出来的。

youdao