Prawitz, D.

...Although this proof is still somewhat unsatisfactory from the standpoint of finiteness, it is the best result obtained in proof theory to date. The basic conjecture itself has been independently proven mathematically correct (using non-constructive means) by Motoo Takahashi and D. Prawitz.
[Axiomatic Set Theory]
Some of the paradoxes that appeared in Cantor's set theory, such as Russell's paradox, arise from considering things with too many elements as sets. These paradoxes were soon made avoidable by the axiomatization of set theory by E. Zermelo and others, who clearly defined the principles of set creation.

*Some of the terminology that mentions "Prawitz, D." is listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

…この証明は有限の立場からはなお若干の不満はあるものの，今日まで証明論で得られている最良の結果である。なお，基本予想自体は数学的には正しいことが(非構成的手段を用いて)高橋元男とプラビッツD.Prawitzによって，それぞれ独立に証明されている。
［公理的集合論］
　ラッセルの逆理などカントルの集合論で現れたいくつかの逆理は，あまりにも多くの要素をもつようなものを集合と考えることによって生ずるものであって，これらの逆理は，まもなく，E.ツェルメロらによる集合論の公理化によって，集合の生成原理を明確に規定することにより回避できるようになった。…

※「Prawitz，D.」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社世界大百科事典 第２版について | 情報