Presupposition theory was raised by Gottlob Frege, the German philosopher in 1892. It's a concept of logic at the beginning, then introduced to linguistics domain later.

预设理论是1892年由德国哲学家弗雷格提出的，原本属于逻辑范畴的，后来引入到语言学领域。

youdao

Gottlob Frege is the modern logic first ancestor, also is recognized for is analyzes the philosophy and the language philosophy founder.

弗雷格是现代逻辑的鼻祖，也被公认为分析哲学和语言哲学的创始人。

youdao

Formal proof is a notion developed in the early part of the 20th century by logicians such as Bertrand Russell and Gottlob Frege, along with mathematicians such as David Hilbert (who can fairly be described as the father of modern mathematics) and Nicolas Bourbaki, the pseudonym of a group of French mathematicians who sought to place all of mathematics on a rigorous footing.

ECONOMIST: Just what does it mean to prove something?