Having arguedthat meaning is now primarily a property of sentences, and only derivatively ofterms, Frege could then apply a distinction in meaning between the sense andreference of an expression.

证明了意义从根本上说是句子的性质（只是在派生的意义上它也属于词语）之后，弗雷格便可以对语言表达的意义作出涵义和指称的区分。

youdao

Frege research method and his achievements are very important to advance the research in logic and philosophy.

弗雷格的研究方法与研究成果对推进逻辑与哲学研究都有重要意义。

youdao

Until the naturalized epistemology of Quine is suggested, the anti-psychologism of Frege in logical area is authority.

一直到蒯因自然化认识论的提出，弗雷格的反心理主义思想都在逻辑学领域占有权威地位。

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?